Nirenberg’s contributions to linear partial differential equations: Pseudo-differential operators and solvability
By Nils Dencker
Abstract
This article is a survey of Louis Nirenberg’s contributions to linear partial differential equations, focusing on his groundbreaking work on pseudo-differential operators and solvability.
1. Introduction
One cannot overestimate Louis Nirenberg’s impact on twentieth century mathematics, especially on the analysis of both linear and nonlinear partial differential equations. In this article, we shall concentrate on Nirenberg’s achievements in linear PDEs, in particular his development (with Kohn) of the calculus of pseudo-differential operators and microlocal analysis. These $\Psi$DOs were developed as tools for the analysis of PDEs, but they have now become indispensible both for analysis and for other areas of mathematics. In connection with this, we shall also treat Nirenberg’s work (with Treves) on the solvability of partial and pseudo-differential operators.
As a graduate student, I read Nirenberg’s papers Reference 25 and Reference 26 on pseudo-differential operators to learn the subject, and they have been a great inspiration to me. I also heard about Nirenberg’s work with Treves Reference 28 about solvability, especially their famous conjecture which came to play an important role in my research. Later I met Nirenberg several times, including at his Abel Prize celebration, but we never had any collaborations.
2. Background
To appreciate Nirenberg’s contributions in the development of $\Psi$DOs, one has to know the background which presented the need for these operators. The development of the theory of distributions by Laurent Schwartz Reference 29 at the end of the 1940’s revolutionized the analysis of PDEs. Distributions are generalizations of generalized functions, which extend the notion of functions and had been used as weak solutions of PDEs. By defining distributions as functionals on classes of smooth test functions, one could simplify the theory of PDEs and be relatively unrestricted in their use of the Fourier transform. For example, one could now define a fundamental solution to any linear PDE.
Distributions were not appreciated by all; see for example Bochner’s review Reference 3 of Schwartz’s book. In spite of the opposition, distributions lead to a quick development of the theory of PDEs and many new results. One example is the proof of existence of fundamental solutions to any constant coefficient PDEs by Ehrenpreis Reference 7 and Malgrange Reference 24 in 1954–55. By using distributions and Fourier transformation, the study of constant coefficient PDEs is often reduced to the study of polynomials and their zeros.
But nonconstant coefficient PDEs presented a more difficult problem. Here singular integral operators became a useful tool, which for example Calderón Reference 4 used to prove the uniqueness of the Cauchy problem in 1958. Singular integral operators on $\mathbf{R}^n$ have the form:
where $a(x) \in C^\infty$,$h(x,y)$ is homogeneous of degree $-n$ in $y$,$\int _{|y| = 1} h(x,y) \, dy = 0$ with appropriate conditions on the regularity of $h(x,y)$. The operator is then given by the principal values of the improper integral in Equation 2.1; a one-dimensional example is the Hilbert transform. These operators are useful tools in analysis, but the calculus is complicated. For example, the composition of two operators involves a mysterious symbol$\sigma (S)(x,\xi )$ of the operator; see Seeley’s interesting exposition Reference 30.
By work of Calderón and Zygmund, Horwath and Kohn, the symbol turned out to involve the partial Fourier transform of $h(x,y)$ in the $y$ variables:
which is then homogeneous of degree 0 in the $\xi$ variables; see Reference 30. This is due to the fact that convolutions correspond to multiplications of the Fourier transforms.
3. Pseudo-differential operators
Kohn and Nirenberg Reference 17 defined pseudo-differential operators in 1965 as
Here $p_k(x,\xi )$ is homogeneous of degree $k$ in $\xi$, and the highest order term $p_m$ is called the principal symbol. Note that $D = \frac{1}{i}\partial$ is the imaginary derivative which is a symmetric operator. This generalized the partial differential operators, where the symbols are polynomials in $\xi$. For singular integal operators the order $m = 0$, and the generalization to arbitrary order simplifies the calculations. The asymptotic expansion Equation 3.2 is formal, but a result by Whitney Reference 31 gives that there exists a symbol $q(x,\xi )$ such that
These operators are called classical (or polyhomogeneous) $\Psi$DOs.
Kohn and Nirenberg’s paper also gave the calculus of $\Psi$DOs, where the composition is done by the Leibnitz formula but now with infinitely many terms. The formulas for adjoints and change of variables were also given, similar to those of PDOs. Also, the principal symbol transforms as a function on the cotangent space $T^* \mathbf{R}^n$ under changes of coordinates.
With $\Psi$DOs one loses the local property, since the support (where the distribution is nonzero) could be increased by the operators. But $\Psi$DOs retain the pseudo-local property, that the singular support (where the distribution is not smooth) is not increased. The pseudo-local property is important, e.g., for the study of singularities and solvability.
The simpler calculus and the easy use of symbols made $\Psi$DOs more convenient to use than the singular integral operators. For example, the order of a fundamental solution to an elliptic equation of order $m$ is a $\Psi$DOs of order $-m$. One could now also localize in cones in the $\xi$ variables using homogeneous symbols, called microlocalization.
Kohn and Nirenberg immediately used the techniques of Reference 17 to study elliptic boundary problems in Reference 18. There were also many properties of $\Psi$DOs to explore, for example (semi)boundedness of operators having (semi)bounded symbols. In 1966 Nirenberg together with Lax Reference 19 proved a Gårding type of lower bound for matrix valued $\Psi$DOs with semidefinite principal symbols.
Kohn and Nirenberg’s highly influential paper started a revolution in the analysis of PDEs and initiated the field of microlocal analysis, where one can localize in cones in $T^* \mathbf{R}^n$. The singular support$\operatorname {sing\ supp}(u) \subseteq \mathbf{R}^n$ was refined by Hörmander Reference 13 to the wave front set$\operatorname {WF}(u) \subseteq T^* \mathbf{R}^n$. This set indicates the directions where the localized Fourier transform does not decay of arbitrary order.
Hörmander Reference 13 also proved that for pseudo-differential operators with real principal symbols that are of principal type, the wave front sets of the solutions propagate along the bicharacteristics of the principal symbol, which generalizes geometrical optics. Principal type means that the principal symbol vanishes of first order at its zeros, called characteristics. The bicharacteristics are the flow-out of the Hamilton vector field of the principal symbol on the characteristics; see Equation 4.2.
This refinement simplifies the study of singularities of solutions to $\Psi$DOs since the bicharacteristics foliate the characteristics and never intersect. Results on propagation of singularities lead to results on solvability by duality. In fact, the propagation of singularities to solutions to the homogeneous adjoint equation could prohibit singular solutions from having compact support.
Fourier integral operators were developed by Hörmander Reference 12 to obtain symplectic coordinate transformations of $\Psi$DOs on the cotangent space. With these operators, $\Psi$DOs developed into a powerful tool making it possible to have natural invariant microlocal conditions on the symbols of the operators.
But the development was also towards more general classes of pseudo-differential operators. The classical $\Psi$DOs by Kohn and Nirenberg are sufficient to invert elliptic PDOs, for example, the Laplacian $\Delta$, but not for inverting hypoelliptic PDOs, such as the heat equation $\partial _t + \Delta _x$. In order to treat those cases, Hörmander Reference 11 generalized the calculus in 1966 to the symbol classes $S^m_{\varrho , \delta }$ defined by
where $\varrho > 0$,$\delta \ge 0$, and $| \alpha | = \alpha _1 + \dots + \alpha _n$ for the multi-index $\alpha = (\alpha _1, \dots , \alpha _n) \in \mathbf{N}^n$. When $\varrho > \delta$ we get an asymptotic expansion in powers of $\langle \xi \rangle ^{\delta - \varrho }$ of the compositions, and $\varrho \ge \delta$ corresponds to the uncertainty principle in quantum mechanics. It is easy to see that the class of classical symbols by Kohn and Nirenberg is contained in $S^m_{1,0}$. It is not hard to show that the symbol of the inverse of the heat equation is $(i\tau - |\xi |^2)^{-1} \in S^1_{1/2,0}$. But, as we shall see, these symbol classes were not enough for studying some of the harder problems in analysis, like the solvability of PDEs.
4. Solvability
One area where microlocal analysis had a great impact is the solvability of PDOs and $\Psi$DOs of principal type, where Nirenberg together with Treves revolutionized the field. This development started in 1957 when Hans Lewy Reference 23 created a sensation when he found a first order complex vector field that was not solvable anywhere in $\mathbf{R}^3$:
$$\begin{equation} L(x,D) = D_{x_1} + i D_{x_2} + 2i (x_1 + i x_2) D_{x_3}. \cssId{Lewy}{\tag{4.1}} \end{equation}$$
This means that the equation $Lu = f$ has no local solution for almost all smooth $f$. Observe that the Cauchy–Kowalevska theorem gives analytic solutions for any analytic $f$, which is a dense set. Actually, the vector field $L$ is in suitable coordinates the tangential Cauchy-Riemann operator of the boundary of the strictly pseudo-convex domain
Thus, it has an important role in complex analysis in several variables.
The tangential Cauchy–Riemann operators always have a large kernel containing any analytic function of the coordinates $z = (z_1, \dots , z_n) \in \mathbf{C}^n$. But Nirenberg Reference 26 showed in 1972 that there exist arbitrarily small smooth perturbations of Equation 4.1 whose kernels only contain the constant functions. Thus the perturbed vector fields cannot be a tangential Cauchy–Riemann operator of any domain. This was generalized in 1982 by Jacobowitz and Treves Reference 16, showing that there exist arbitrarily small smooth perturbations of any given smooth vector field in $\mathbf{R}^3$ whose kernels only contain the constant functions.
After Lewy’s example, Hörmander Reference 9 took up the quest for solvability in 1960 by showing that the lack of solvability is generic for PDEs. In fact, if $P(x,D_x)$ is of order $m$ with principal symbol $p_m$, then the commutator $[P^*, P]$ of the operator and its adjoint is of order $2m-1$ and has principal symbol equal to the Poisson bracket
where $H_{\operatorname {Re}p_m}$ is the Hamilton vector field of $\operatorname {Re}p_m$. Hörmander showed that if this bracket does not vanish on the characteristics, which is a generic condition, then $P(x,D_x)$ is not locally solvable. (In his thesis Reference 8, Hörmander had to assume $C_{2m-1} \equiv 0$ in order to prove solvability.)
The condition that $C_{2m-1} \ne 0$ on $p_m = 0$ means that the operator is of principal type and that the imaginary part of $p_m$ switches sign on the bicharacteristics of the real part, which are the flow-out of the Hamilton vector field $H_{\operatorname {Re}p_m}$.
If $P$ is of principal type and $C_{2m-1}$ is a linear combination of $p_m$ and $\overline{p}_m$, then the operator is principally normal and Hörmander Reference 10 showed that these operators are locally solvable. One could also have special conditions on the repeated brackets when studying solvability, but then the situation gets rather complicated.
By using microlocal analysis and preparation theorems, one can reduce a classical $\Psi$DOs of principal type to a first order operator with principal symbol on the normal form
where $f \in S^1_{1,0}$ is a real and homogeneous symbol and $(t,x;\tau , \xi ) \in T^* (\mathbf{R}\times \mathbf{R}^n)$. In this case, the Poisson bracket Equation 4.2 becomes $2i \, \partial _t f(t,x;\xi )$.Principally normal means that $\partial _t f = c \cdot f$ for some homogeous $c(t,x;\xi )$, a differential equation which preserves both signs and zeros of $f(t,x;\xi )$ as $t$ changes.
5. The Nirenberg–Treves conjecture
But Nirenberg and Treves Reference 27 in 1963 changed the perspective and introduced conditions on the sign changes of the imaginary part of the principal symbol of a PDO. The most important is condition $(P)$, which says that the imaginary part of the principal symbol cannot change sign on the bicharacteristics of the real part. For example, for the normal form Equation 4.3 this means that $t \mapsto f(t,x;\xi )$ does not change sign as $t$ varies.
Nirenberg and Treves showed that condition $(P)$ was sufficient for solvability of first order analytic PDOs of principal type, and they conjectured that this condition was both necessary and sufficient for solvability of first order PDOs of principal type.
Armed with the tools of pseudo-differential operators, Nirenberg and Treves Reference 28 in 1970 took up the study of the solvability of PDOs and $\Psi$DOs of principal type. For $\Psi$DOs condition $(P)$ is not the relevant condition. Instead it is condition ($\Psi$) which prohibits sign changes from $-$ to $+$ of the imaginary part of the principal symbol on the oriented bicharacteristics of the real part. For the normal form Equation 4.3 this condition means that $t \mapsto f(t,x,\xi )$ does not change sign from $-$ to $+$ as $t$ increases. For PDO conditions $(P)$ and ($\Psi$) are equivalent, since the Poisson bracket in Equation 4.2 has odd order.
Nirenberg and Treves conjectured that condition ($\Psi$) is necessary and sufficient for solvability of $\Psi$DOs of principal type. They proved sufficiency for PDOs with analytic principal symbols and necessity in the case where the sign changes are of finite order (e.g., for analytic principal symbols).
When the principal symbol is analytic satisfying condition $(P)$, Nirenberg and Treves used microlocal tools and reduced the operator to the normal form,
$$\begin{equation} P = D_t + i A(t) B, \cssId{NTest}{\tag{5.1}} \end{equation}$$
where $t \mapsto A(t) \ge 0$ is uniformly continuous and bounded, $B = B^*$ is constant in $t$, and the commutators $[B, A(t)]$ and $[B,[B, A(t)]]$ are bounded. The commutator conditions fit well into the calculus if $A$ is operator of order zero and $B$ is an operator of first order.
Under these conditions, Nirenberg and Treves Reference 28 proved the following $L^2$ estimate:
if $u \in C^\infty _0$ has support where $|t | \le T \ll 1$. This estimate may then be perturbed with $L^2$ bounded terms in $P$ for sufficiently small $T$. But the reduction to the normal form relies on analyticity; for example, it does not work when the imaginary part vanishes of infinite order.
But in 1973, Beals and Fefferman Reference 1 proved the sufficiency of condition $(P)$ for solvability of smooth PDOs of principal type. In the proof, they used more refined symbol classes adapted to the operator to reduce it to the normal form Equation 5.1 microlocally. This made it possible to use the Nirenberg–Treves lemma to obtain $L^2$ estimates from Equation 5.2. Beals and Fefferman Reference 2 in 1974 developed the calculus for these more general symbols, having symbol classes where $1 + |\xi |$ is replaced by other suitable weights in the symbol estimates Equation 3.4.
Hörmander Reference 14 developed this calculus further in 1979 into the Weyl calculus, defining symbols to be uniformly smooth with respect to suitable metrics on $T^*\mathbf{R}^n$. These metrics, called Hörmander metrics, have to satisfy conditions on local equivalence, temperatedness, and the uncertainty principle. By using the Weyl quantization, this calculus has the additional advantages of symplectic invariance and that real symbols correspond to symmetric operators.
The necessity of condition ($\Psi$) for solvability of pseudo-differential operators of principal type was then established by Hörmander Reference 15 in 1981 by microlocally reducing the operator to the normal form Equation 4.3 and constructing pseudo modes, i.e., localized approximate solutions to the homogeneous adjoint equation.
It was in general assumed that condition ($\Psi$) would also be sufficient for solvability of $\Psi$DOs of principal type, and Lerner Reference 20 proved this 1988 in dimension 2. There even appeared false proofs of sufficiency in any dimension, claiming estimates like Equation 5.2 where one loses one derivative.
But a counterexample of Lerner Reference 21 in 1994 shows that in general condition ($\Psi$) does not give the expected solvability with a loss of one derivative, which one has in the case when condition $(P)$ holds. Thus, the estimate Equation 5.2 in general does not hold, and solvability could depend on lower order terms. This example questioned the validity of the Nirenberg–Treves conjecture, whether it is sufficient to have conditions only on the principal symbol.
But in 2004 the sufficiency of condition ($\Psi$) was proven by the author in Reference 6, giving solvability of principal type operators with a loss of two derivatives, thus finally resolving the Nirenberg–Treves conjecture. The proof uses a multiplier estimate adapted to the operator that can handle lower order terms.
The estimate was then improved in Reference 5 to a loss of $3/2 + \varepsilon$ derivatives, for any $\varepsilon > 0$. Lerner Reference 22 obtained the solvability with a loss of $3/2$ derivatives with a similar multiplier estimate. This is currently the best result, but there still remains a gap since the counterexample in Reference 21 only gives a loss of $1 + \varepsilon$ derivatives for any $\varepsilon > 0$.
In closing, the insights of Nirenberg led to a revolution in the analysis of PDEs, to the development of microlocal analysis, and to breakthroughs in the solvability of PDOs and $\Psi$DOs.
About the author
Nils Dencker is professor of mathematics at Lund University, working in microlocal analysis and spectral theory of partial differential operators. He is a member of the Royal Swedish Academy of Sciences and received the Gårding Prize in 2003 and the Clay Research Award in 2005 for his resolution of the Nirenberg–Treves conjecture.
R. Beals and C. Fefferman, On local solvability of linear partial differential equations, Ann. of Math. (2) 97 (1973), 482–498, DOI 10.2307/1970832. MR352746, Show rawAMSref\bib{bf}{article}{
author={Beals, Richard},
author={Fefferman, Charles},
title={On local solvability of linear partial differential equations},
journal={Ann. of Math. (2)},
volume={97},
date={1973},
pages={482--498},
issn={0003-486X},
review={\MR {352746}},
doi={10.2307/1970832},
}
Reference [2]
R. Beals and C. Fefferman, Spatially inhomogeneous pseudodifferential operators. I, Comm. Pure Appl. Math. 27 (1974), 1–24, DOI 10.1002/cpa.3160270102. MR352747, Show rawAMSref\bib{BF:psdo}{article}{
author={Beals, Richard},
author={Fefferman, Charles},
title={Spatially inhomogeneous pseudodifferential operators. I},
journal={Comm. Pure Appl. Math.},
volume={27},
date={1974},
pages={1--24},
issn={0010-3640},
review={\MR {352747}},
doi={10.1002/cpa.3160270102},
}
Reference [3]
S. Bochner, Book Review: Théorie des distributions, Bull. Amer. Math. Soc. 58 (1952), no. 1, 78–85, DOI 10.1090/S0002-9904-1952-09555-0. MR1565358, Show rawAMSref\bib{Boch}{article}{
author={Bochner, S.},
title={Book Review: Th\'{e}orie des distributions},
journal={Bull. Amer. Math. Soc.},
volume={58},
date={1952},
number={1},
pages={78--85},
issn={0002-9904},
review={\MR {1565358}},
doi={10.1090/S0002-9904-1952-09555-0},
}
Reference [4]
A.-P. Calderón, Uniqueness in the Cauchy problem for partial differential equations, Amer. J. Math. 80 (1958), 16–36, DOI 10.2307/2372819. MR104925, Show rawAMSref\bib{Cal}{article}{
author={Calder\'{o}n, A.-P.},
title={Uniqueness in the Cauchy problem for partial differential equations},
journal={Amer. J. Math.},
volume={80},
date={1958},
pages={16--36},
issn={0002-9327},
review={\MR {104925}},
doi={10.2307/2372819},
}
Reference [5]
N. Dencker, The solvability of pseudo-differential operators, Phase space analysis of partial differential equations. Vol. I, Pubbl. Cent. Ric. Mat. Ennio Giorgi, Scuola Norm. Sup., Pisa, 2004, pp. 175–200. MR2144409, Show rawAMSref\bib{DE:DG}{article}{
author={Dencker, Nils},
title={The solvability of pseudo-differential operators},
conference={ title={Phase space analysis of partial differential equations. Vol. I}, },
book={ series={Pubbl. Cent. Ric. Mat. Ennio Giorgi}, publisher={Scuola Norm. Sup., Pisa}, },
date={2004},
pages={175--200},
review={\MR {2144409}},
}
Reference [6]
N. Dencker, The resolution of the Nirenberg–Treves conjecture, Ann. of Math. (2) 163 (2006), no. 2, 405–444, DOI 10.4007/annals.2006.163.405. MR2199222, Show rawAMSref\bib{de:nt}{article}{
author={Dencker, Nils},
title={The resolution of the Nirenberg--Treves conjecture},
journal={Ann. of Math. (2)},
volume={163},
date={2006},
number={2},
pages={405--444},
issn={0003-486X},
review={\MR {2199222}},
doi={10.4007/annals.2006.163.405},
}
Reference [7]
L. Ehrenpreis, Solution of some problems of division. I. Division by a polynomial of derivation, Amer. J. Math. 76 (1954), 883–903, DOI 10.2307/2372662. MR68123, Show rawAMSref\bib{Ehr}{article}{
author={Ehrenpreis, Leon},
title={Solution of some problems of division. I. Division by a polynomial of derivation},
journal={Amer. J. Math.},
volume={76},
date={1954},
pages={883--903},
issn={0002-9327},
review={\MR {68123}},
doi={10.2307/2372662},
}
Reference [8]
L. Hörmander, On the theory of general partial differential operators, Acta Math. 94 (1955), 161–248, DOI 10.1007/BF02392492. MR76151, Show rawAMSref\bib{ho:thesis}{article}{
author={H\"{o}rmander, Lars},
title={On the theory of general partial differential operators},
journal={Acta Math.},
volume={94},
date={1955},
pages={161--248},
issn={0001-5962},
review={\MR {76151}},
doi={10.1007/BF02392492},
}
Reference [9]
L. Hörmander, Differential equations without solutions, Math. Ann. 140 (1960), 169–173, DOI 10.1007/BF01361142. MR147765, Show rawAMSref\bib{HO:nosolv}{article}{
author={H\"{o}rmander, Lars},
title={Differential equations without solutions},
journal={Math. Ann.},
volume={140},
date={1960},
pages={169--173},
issn={0025-5831},
review={\MR {147765}},
doi={10.1007/BF01361142},
}
Reference [10]
L. Hörmander, Differential operators of principal type, Math. Ann. 140 (1960), 124–146, DOI 10.1007/BF01360085. MR130574, Show rawAMSref\bib{HO:princ}{article}{
author={H\"{o}rmander, L.},
title={Differential operators of principal type},
journal={Math. Ann.},
volume={140},
date={1960},
pages={124--146},
issn={0025-5831},
review={\MR {130574}},
doi={10.1007/BF01360085},
}
Reference [11]
L. Hörmander, Pseudo-differential operators and hypoelliptic equations, In Singular integrals (Proc. Sympos. Pure Math., Vol. X, Chicago, Ill., 1966), 138–183, Amer. Math. Soc., Providence, R.I., 1967.
Reference [12]
L. Hörmander, Fourier integral operators. I, Acta Math. 127 (1971), no. 1-2, 79–183, DOI 10.1007/BF02392052. MR388463, Show rawAMSref\bib{HO:FIO1}{article}{
author={H\"{o}rmander, Lars},
title={Fourier integral operators. I},
journal={Acta Math.},
volume={127},
date={1971},
number={1-2},
pages={79--183},
issn={0001-5962},
review={\MR {388463}},
doi={10.1007/BF02392052},
}
Reference [13]
L. Hörmander, Linear differential operators, In Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, 121–133. 1971.
Reference [14]
L. Hörmander, The Weyl calculus of pseudodifferential operators, Comm. Pure Appl. Math. 32 (1979), no. 3, 360–444, DOI 10.1002/cpa.3160320304. MR517939, Show rawAMSref\bib{ho:weyl}{article}{
author={H\"{o}rmander, L.},
title={The Weyl calculus of pseudodifferential operators},
journal={Comm. Pure Appl. Math.},
volume={32},
date={1979},
number={3},
pages={360--444},
issn={0010-3640},
review={\MR {517939}},
doi={10.1002/cpa.3160320304},
}
Reference [15]
L. Hörmander, Pseudodifferential operators of principal type, Singularities in boundary value problems (Proc. NATO Adv. Study Inst., Maratea, 1980), NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 65, Reidel, Dordrecht-Boston, Mass., 1981, pp. 69–96. MR617227, Show rawAMSref\bib{ho:nec}{article}{
author={H\"{o}rmander, Lars},
title={Pseudodifferential operators of principal type},
conference={ title={Singularities in boundary value problems}, address={Proc. NATO Adv. Study Inst., Maratea}, date={1980}, },
book={ series={NATO Adv. Study Inst. Ser. C: Math. Phys. Sci.}, volume={65}, publisher={Reidel, Dordrecht-Boston, Mass.}, },
date={1981},
pages={69--96},
review={\MR {617227}},
}
J. J. Kohn and L. Nirenberg, An algebra of pseudo-differential operators, Comm. Pure Appl. Math. 18 (1965), 269–305, DOI 10.1002/cpa.3160180121. MR176362, Show rawAMSref\bib{KN:alg}{article}{
author={Kohn, J. J.},
author={Nirenberg, L.},
title={An algebra of pseudo-differential operators},
journal={Comm. Pure Appl. Math.},
volume={18},
date={1965},
pages={269--305},
issn={0010-3640},
review={\MR {176362}},
doi={10.1002/cpa.3160180121},
}
Reference [18]
J. J. Kohn and L. Nirenberg, Non-coercive boundary value problems, Comm. Pure Appl. Math. 18 (1965), 443–492, DOI 10.1002/cpa.3160180305. MR181815, Show rawAMSref\bib{KN:bvp}{article}{
author={Kohn, J. J.},
author={Nirenberg, L.},
title={Non-coercive boundary value problems},
journal={Comm. Pure Appl. Math.},
volume={18},
date={1965},
pages={443--492},
issn={0010-3640},
review={\MR {181815}},
doi={10.1002/cpa.3160180305},
}
Reference [19]
P. D. Lax and L. Nirenberg, On stability for difference schemes: A sharp form of Gårding’s inequality, Comm. Pure Appl. Math. 19 (1966), 473–492, DOI 10.1002/cpa.3160190409. MR206534, Show rawAMSref\bib{LN}{article}{
author={Lax, P. D.},
author={Nirenberg, L.},
title={On stability for difference schemes: A sharp form of G{\aa }rding's inequality},
journal={Comm. Pure Appl. Math.},
volume={19},
date={1966},
pages={473--492},
issn={0010-3640},
review={\MR {206534}},
doi={10.1002/cpa.3160190409},
}
Reference [20]
N. Lerner, Sufficiency of condition $(\Psi )$ for local solvability in two dimensions, Ann. of Math. (2) 128 (1988), no. 2, 243–258, DOI 10.2307/1971441. MR960946, Show rawAMSref\bib{ln:2d}{article}{
author={Lerner, Nicolas},
title={Sufficiency of condition $(\Psi )$ for local solvability in two dimensions},
journal={Ann. of Math. (2)},
volume={128},
date={1988},
number={2},
pages={243--258},
issn={0003-486X},
review={\MR {960946}},
doi={10.2307/1971441},
}
Reference [21]
N. Lerner, Nonsolvability in $L^2$ for a first order operator satisfying condition $(\Psi )$, Ann. of Math. (2) 139 (1994), no. 2, 363–393, DOI 10.2307/2946584. MR1274095, Show rawAMSref\bib{ln:ex}{article}{
author={Lerner, Nicolas},
title={Nonsolvability in $L^2$ for a first order operator satisfying condition $(\Psi )$},
journal={Ann. of Math. (2)},
volume={139},
date={1994},
number={2},
pages={363--393},
issn={0003-486X},
review={\MR {1274095}},
doi={10.2307/2946584},
}
Reference [22]
N. Lerner, Cutting the loss of derivatives for solvability under condition $(\Psi )$(English, with English and French summaries), Bull. Soc. Math. France 134 (2006), no. 4, 559–631, DOI 10.24033/bsmf.2522. MR2364944, Show rawAMSref\bib{ln:cutloss}{article}{
author={Lerner, Nicolas},
title={Cutting the loss of derivatives for solvability under condition $(\Psi )$},
language={English, with English and French summaries},
journal={Bull. Soc. Math. France},
volume={134},
date={2006},
number={4},
pages={559--631},
issn={0037-9484},
review={\MR {2364944}},
doi={10.24033/bsmf.2522},
}
Reference [23]
H. Lewy, An example of a smooth linear partial differential equation without solution, Ann. of Math. (2) 66 (1957), 155–158, DOI 10.2307/1970121. MR88629, Show rawAMSref\bib{lewy}{article}{
author={Lewy, Hans},
title={An example of a smooth linear partial differential equation without solution},
journal={Ann. of Math. (2)},
volume={66},
date={1957},
pages={155--158},
issn={0003-486X},
review={\MR {88629}},
doi={10.2307/1970121},
}
Reference [24]
B. Malgrange, Existence et approximation des solutions des équations aux dérivées partielles et des équations de convolution(French), Ann. Inst. Fourier (Grenoble) 6 (1955/56), 271–355. MR86990, Show rawAMSref\bib{Mal}{article}{
author={Malgrange, Bernard},
title={Existence et approximation des solutions des \'{e}quations aux d\'{e}riv\'{e}es partielles et des \'{e}quations de convolution},
language={French},
journal={Ann. Inst. Fourier (Grenoble)},
volume={6},
date={1955/56},
pages={271--355},
issn={0373-0956},
review={\MR {86990}},
}
Reference [25]
L. Nirenberg, Pseudo-differential operators, Global Analysis (Proc. Sympos. Pure Math., Vol. XVI, Berkeley, Calif., 1968), Amer. Math. Soc., Providence, R.I., 1970, pp. 149–167. MR0270217, Show rawAMSref\bib{N:psdo}{article}{
author={Nirenberg, L.},
title={Pseudo-differential operators},
conference={ title={Global Analysis}, address={Proc. Sympos. Pure Math., Vol. XVI, Berkeley, Calif.}, date={1968}, },
book={ publisher={Amer. Math. Soc., Providence, R.I.}, },
date={1970},
pages={149--167},
review={\MR {0270217}},
}
Reference [26]
H. Lewy, Lectures on linear partial differential equations, Expository Lectures from the CBMS Regional Conference held at the Texas Technological University, Lubbock, Tex., May 22–26, 1972. Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 17. American Mathematical Society, Providence, R.I., 1973.
Reference [27]
L. Nirenberg and F. Treves, Solvability of a first order linear partial differential equation, Comm. Pure Appl. Math. 16 (1963), 331–351, DOI 10.1002/cpa.3160160308. MR163045, Show rawAMSref\bib{nt:63}{article}{
author={Nirenberg, L.},
author={Treves, F.},
title={Solvability of a first order linear partial differential equation},
journal={Comm. Pure Appl. Math.},
volume={16},
date={1963},
pages={331--351},
issn={0010-3640},
review={\MR {163045}},
doi={10.1002/cpa.3160160308},
}
Reference [28]
L. Nirenberg and J. F. Treves, On local solvability of linear partial differential equations Part I: Necessary conditions, Comm. Pure Appl. Math., 23 (1970), 1–38; Part II: Sufficient conditions, Comm. Pure Appl. Math. 23 (1970), 459–509; Correction, Comm. Pure Appl. Math. 24 (1971), 279–288.
Reference [29]
L. Schwartz, Théorie des distributions. Tome I–II(French), Publ. Inst. Math. Univ. Strasbourg, vol. 9–10, Hermann & Cie, Paris, 1950. MR0035918, Show rawAMSref\bib{Sch}{book}{
author={Schwartz, L.},
title={Th\'{e}orie des distributions. Tome I--II},
language={French},
series={Publ. Inst. Math. Univ. Strasbourg},
volume={9--10},
publisher={Hermann \& Cie, Paris},
date={1950--51},
pages={148},
review={\MR {0035918}},
}
Reference [30]
R. T. Seeley, Elliptic singular integral equations, Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), Amer. Math. Soc., Providence, R.I., 1967, pp. 308–315. MR0234107, Show rawAMSref\bib{See}{article}{
author={Seeley, R. T.},
title={Elliptic singular integral equations},
conference={ title={Singular Integrals}, address={Proc. Sympos. Pure Math., Chicago, Ill.}, date={1966}, },
book={ publisher={Amer. Math. Soc., Providence, R.I.}, },
date={1967},
pages={308--315},
review={\MR {0234107}},
}
Reference [31]
H. Whitney, Analytic extensions of differentiable functions defined in closed sets, Trans. Amer. Math. Soc. 36 (1934), no. 1, 63–89, DOI 10.2307/1989708. MR1501735, Show rawAMSref\bib{Whit}{article}{
author={Whitney, Hassler},
title={Analytic extensions of differentiable functions defined in closed sets},
journal={Trans. Amer. Math. Soc.},
volume={36},
date={1934},
number={1},
pages={63--89},
issn={0002-9947},
review={\MR {1501735}},
doi={10.2307/1989708},
}
Show rawAMSref\bib{4557378}{article}{
author={Dencker, Nils},
title={Nirenberg's contributions to linear partial differential equations: Pseudo-differential operators and solvability},
journal={Bull. Amer. Math. Soc.},
volume={60},
number={2},
date={2023-04},
pages={159-166},
issn={0273-0979},
review={4557378},
doi={10.1090/bull/1791},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.