Asymptotic properties of general symmetric hyperbolic systems

Results on partition of energy and on energy decay are derived for solutions of the Cauchy problem $\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0, u(0, x) = ?(x)}$. Here the A_j's are constant, k × k Hermitian matrices, x = (x₁,…, x_n), t represents time, and u = u(t, x) is a k-vector. It is shown that the energy of Mu approaches a limit $\text{E}{}_{\mathrm{M}}\text{(?)}\text{as}\text{¦ t ¦ → ∞}$, where M is an arbitrary matrix; that there exists a sufficiently large subspace of data ?, which is invariant under the solution group U₀(t) and such that $\text{U}{}_0\text{(t)? = 0}\text{for}\text{¦ x ¦ ? a ¦ t ¦ ? R, a}\text{and}\text{R}$ depending on ? and that the local energy of nonstatic solutions decays as $\text{¦ t ¦ → ∞}$. More refined results on energy decay are also given and the existence of wave operators is established, considering a perturbed equation $\text{E(x)}\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0,}\text{where}\text{¦ E(x) ? I ¦ = O(¦ x ¦}{}^{\mathrm{?1\; ?\; ?}}\text{)}$ at infinity.     

An Lp bound for the Riesz and Bessel potentials of orthonormal functions

Let ψ₁, …,ψ_N be orthonormal functions in $\text{R}$^d and let $\text{u}{}_{\mathrm{i}}\text{= (?Δ)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{ψ}{}_{\mathrm{i}}$, or $\text{u}{}_{\mathrm{i}}\text{= (?Δ + 1)}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{ψ}{}_{\mathrm{i}}$, and let $\text{p(x) = ∑¦u}{}_{\mathrm{i}}\text{(x)¦}{}^2$. L^p bounds are proved for p, an example being $\text{∥p∥}{}_{\mathrm{p}}\text{? A}{}_{\mathrm{d}}\text{N}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{for}\text{d ? 3}$, with p = d(d ? 2)^?1. The unusual feature of these bounds is that the orthogonality of the ψ_i, yields a factor $\text{N}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}$ instead of N, as would be the case without orthogonality. These bounds prove some conjectures of Battle and Federbush (a Phase Cell Cluster Expansion for Euclidean Field Theories, I, 1982, preprint) and of Conlon (Comm. Math. Phys., in press).     

On Lp estimates for the wave equation

New and more elementary proofs are given of two results due to W. Littman: (1) Let $\text{n ? 2, p ?}\text{2n}\text{(n ? 1)}$. The estimate $\text{∫∫ (¦▽u¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{¦}{}^{\mathrm{p}}\text{) dx dt ? C ∫∫ ¦□u¦}{}^{\mathrm{p}}\text{dx dt}$ cannot hold for all u?C₀^∞(Q), Q a cube in $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}\text{× R}$, some constant C. (2) Let n ? 2, p ≠ 2. The estimate $\text{∫ (¦▽(t)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(t)¦}{}^{\mathrm{p}}\text{) dx ? C(t) ∫ (¦▽u(0)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(0)¦}{}^{\mathrm{p}}\text{) dx}$ cannot hold for all C^∞ solutions of the wave equation □u = 0 in $\text{R}{}^{\mathrm{n}}\text{x R}$; all t ?$\text{R}$; some function C: $\text{R}$ → $\text{R}$.     

On Lp-spectrum of elliptic operators

For elliptic operators $\text{A = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{a}{}_{\mathrm{\alpha }}\text{(x) D}{}^{\mathrm{\alpha }}$ on Rⁿ and certain of their singular perturbations $\text{B = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{b}{}_{\mathrm{\alpha }}\text{(x)D}{}^{\mathrm{\alpha }}$ relative compactness of B with respect to A is established. This result applies to the study of L^p-spectra of elliptic operators for different p.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

Szegö limit theorems in quantum mechanics

We prove a Szegö-type theorem for some Schrödinger operators of the form $\text{H =}\text{?1}\text{2Δ}\text{+ V}$ with V smooth, positive and growing like $\text{V}{}_0\text{¦x¦}{}^{\mathrm{k}}\text{, k > 0}$. Namely, let π_λ be the orthogonal projection of L² onto the space of the eigenfunctions of H with eigenvalue ?λ; let A be a 0th order self-adjoint pseudo-differential operator relative to Beals-Fefferman weights $\text{?(x, ξ) = 1, Φ(x, ξ) = (1 + ¦ξ¦}{}^2\text{+ V(x))}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ and with total symbol a(x, ξ); and let f∈C($\text{R}$). Then

$\text{lim}\text{λ→∞}\text{1}\text{rank}\text{π}{}_{\mathrm{\lambda }}\text{tr}\text{f(π}{}_{\mathrm{\lambda }}\text{Aπ}{}_{\mathrm{\lambda }}\text{)=}\text{lim}\text{λ→∞}\text{1}\text{vol}\text{(H(x, ξ)?λ)}\text{∫}\text{H?λ}\text{f(a(x, ξ))dxdξ}$

(assuming one limit exists).     

Integral inequalities for generalized concave or convex functions

Let ψ be convex with respect to ?, B a convex body in Rⁿ and f a positive concave function on B. A well-known result by Berwald states that $\text{1}\text{¦B¦}\text{∝}{}_{\mathrm{B}}\text{ψ(f(x)) dx ? n ∝}{}_0{}^1\text{ψ(ξt)(1 ? t)}{}^{\mathrm{n\; ?\; 1)}}\text{dt}$ (1) if ξ is chosen such that $\text{1}\text{¦B¦}\text{∝}{}_{\mathrm{B}}\text{?(f(x)) dx = n ∝}{}_0{}^1\text{?(ξt)(1 ? t)}{}^{\mathrm{n\; ?\; 1)}}\text{dt}$.The main purpose in this paper is to characterize those functions f : B → R₊ such that (1) holds.     

Wr,p(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension $\text{F}{}_1$ of a function $\text{?:E → R}$ (i.e., the H^r,p-spline with knots in E) and studies the cone $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ of all such splines. We study the problem of determining when $\text{F}{}_1$ is in W^r,p ≡ H^r,p ∩ L^p. If $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$, then $\text{F}{}_1$ is called a W^r,p-spline, and we denote by $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ the cone of all such splines. If E is quasiuniform, then $\text{F}{}_1\text{? W}{}^{\mathrm{r,p}}$ if and only if . The cone $\text{W}{}_{1E}{}^{\mathrm{r,p}}$ with E quasiuniform is shown to be homeomorphic to l^p. Similarly, $\text{H}{}_{1E}{}^{\mathrm{r,p}}$ is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size $\text{¦ E ¦}$ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of $\text{¦ E ¦}$ are derived.     

Radial bounds for perturbations of elliptic operators

Elliptic operators $\text{A = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{b}{}_{\mathrm{\alpha }}\text{(x) D}{}^{\mathrm{\alpha }}$, α a multi-index, with leading term positive and constant coefficient, and with lower order coefficients defined on $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}$ or a quotient space $\text{R}{}^{\mathrm{n}}\text{R}{}^{\mathrm{n}}\text{U}{}_{\mathrm{\alpha }}\text{, U}{}_{\mathrm{\alpha }}\text{? R}{}^{\mathrm{n}}$ are considered. It is shown that the L^p-spectrum of A is contained in a “parabolic region” Ω of the complex plane enclosing the positive real axis, uniformly in p. Outside Ω, the kernel of the resolvent of A is shown to be uniformly bounded by an L¹ radial convolution kernel. Some consequences are: A can be closed in all L^p (1 ? p ? ∞), and is essentially self-adjoint in L² if it is symmetric; A generates an analytic semigroup e^?tA in the right half plane, strongly L^p and pointwise continuous at t = 0. A priori estimates relating the leading term and remainder are obtained, and summability $\text{φ(εA)?→}{}_{\mathrm{\epsilon \; \to \; 0}}\text{φ(0) ?}$, with φ analytic, is proved for $\text{? ? L}{}^{\mathrm{p}}$, with convergence in L^p and on the Lebesgue set of ?. More comprehensive summability results are obtained when A has constant coefficients.     

Superexponential decay of solutions of a semilinear wave equation

Consider a smooth solution of $\text{u}{}_{\mathrm{tt}}\text{? Δu + q(x) ¦ u ¦}{}^{\mathrm{p?1}}\text{u = 0 x ? R}{}^3\text{, q ? 0}$ and is C¹, and 1 < p < 5. Assume that the initial data decay sufficiently rapidly at infinity, $\text{q(x) ? a}\text{exp}\text{(?b ¦ x ¦}{}^{\mathrm{c}}\text{), a, b > 0, c > 1}$, and for simplicity, q_r ? 0. Then the local energy decays faster than exponentially.     

The spectra of composition operators on Hp

For H^p, 1 ? p < ∞, composition operators C_?, defined by $\text{C}{}_{\mathrm{?}}\text{(?) = ? ° ?}$ for $\text{? ? H}{}^{\mathrm{p}}$, ? analytic on $\text{D = {z ¦ ¦ z ¦ < 1}}$ are considered, and their spectra determined in the case where ? is analytic on an open region containing D?.     

A class of Orlicz-Sobolev spaces with applications to variational problems involving nonlinear Hill's equations

Necessary and sufficient conditions are proved for a $\text{b}$⁽²⁾-Young function G (with independent variable t) to be convex (resp. concave) in t² in terms of inequalities between the second derivative of G and the first derivative of its Legendre transform G? (with independent variable s). It is then proven that a Young function G is convex (resp. concave) in t² if and only if G? is concave (resp. convex) in s². These results, along with another set of inequalities for functions G convex (resp. concave) in t², allow the proof of the uniform convexity and thereby of the reflexivity with respect to Luxemburg's norm $\text{∥f∥}{}_{\mathrm{G}}\text{=}\text{inf}\text{{k > 0: ∝}{}_{\mathrm{\Omega }}\text{dξ G(f}\text{(ξ)}\text{k}\text{) ? 1}}$ of the Orlicz space $\text{L}{}_{\mathrm{G}}\text{(Ω)}$ over an open domain Ω ?$\text{R}$_N with Lebesgue measure dξ. When applied to $\text{G(t) =}\text{¦t¦}{}^{\mathrm{p}}\text{p}$ and $\text{G}\text{?}\text{(s) =}\text{¦s¦}{}^{\mathrm{p\prime }}\text{p′}$ with p^?1 + (p′)^?1 = 1, the preceding results lead to the shortest proof to date of two Clarkson's inequalities and of the reflexivity of L^p-spaces for 1 < p < +∞. Finally, some of these results are used to solve by direct methods variational problems associated with the existence question of periodic orbits for a class of nonlinear Hill's equations; these variational problems are formulated on suitable Orlicz-Sobolev spaces $\text{W}{}^{\mathrm{m}}\text{L}{}_{\mathrm{G}}\text{(Ω)}$ and thereby allow for nonlinear terms which may grow faster than any power of the variable.     

Global existence for a delay differential equation

An elastic-plastic bar with simply connected cross section Q is clamped at the bottom and given a twist at the top. The stress function u, at a prescribed cross section, is then the solution of the variational inequality (0.1) $\text{min}{}_{\mathrm{<mtext>v</mtext><mtext>?</mtext><mtext>K</mtext>}}\text{{∝}{}_{\mathrm{Q}}\text{¦}\text{▽}\text{v¦}{}^2\text{? 2θ}{}_1\text{∝}{}_{\mathrm{Q}}\text{v} = ∝}{}_{\mathrm{Q}}\text{¦}\text{▽}\text{u¦}{}^2\text{? 2θ}{}_1\text{∝}{}_{\mathrm{Q}}\text{u, u}\text{?}\text{K,}\text{where}\text{(0.2) K = {v}\text{?}\text{H}{}_0{}^1\text{(Q), ¦}\text{▽}\text{v¦ ? 1}\text{a.e.}\text{}}\text{and}\text{θ}{}_1$ is equal to the angle of the twist (after normalizing the units). Introducing the Lagrange multiplier λ_θ1, the unloading problem consists in solving the variational inequality (0.3) is the twisting angle for the unloaded bar; θ₂ < θ₁. Let (0.4) $\text{K}{}^1\text{= {v}\text{?}\text{H}{}_0{}^1\text{(Q), ?d(x) ? v(x) ? d(x)},}\text{where}\text{d(x) =}\text{dist}\text{.(x, ?Q)}$, and denote by $\text{u}{}^1\text{, w}{}^1$ the solutions of (0.1), (0.3), respectively, when K is replaced by $\text{K}{}^1$. The following results are well known for the loading problem (0.1):(0.5) $\text{u = u}{}^1$; (0.6) the plastic set $\text{P = (X}\text{?}\text{Q}\text{?}\text{; ¦}\text{▽}\text{u(x)¦ = 1}}$ is connected to the boundary. In this paper we show that, in general, (0.7) $\text{w ≠ w}{}^1$; (0.8) the plastic set $\text{P}\text{?}\text{= {x}\text{?}\text{Q}\text{?}\text{; ¦}\text{▽}\text{w(x)¦ = 1}}$ is not connected to the boundary. That is, we construct domains Q for which (0.7) and (0.8) hold for a suitable choice of θ₁, θ₂.     

The resolvent of a singularly perturbed elliptic operator

Let A and B be uniformly elliptic operators of orders 2m and 2n, respectively, m > n. We consider the Dirichlet problems for the equations (?^{2(m ? n)}A + B + λ²ⁿI)u_? = f and (B + λ²ⁿI)u = f in a bounded domain Ω in R^k with a smooth boundary ?Ω. The estimate is derived. This result extends the results of [7, 9, 10, 12, 14, 15, 18]by giving estimates up to the boundary, improving the rate of convergence in ?, using lower norms, and considering operators of higher order with variable coefficients. An application to a parabolic boundary value problem is given.     

Spectral representation for Schrödinger operators with long-range potentials

A spectral representation for the self-adjoint Schrödinger operator H = ?Δ + V(x), x? R³, is obtained, where V(x) is a long-range potential: $\text{V(x) = O(¦ x ¦}{}^{\mathrm{<mtext>?</mtext><mtext>(1</mtext><mtext>2)</mtext><mtext>?\delta </mtext>}}\text{)}$, grad $\text{V(x) = O(¦ x ¦}{}^{\mathrm{<mtext>?</mtext><mtext>(3</mtext><mtext>2)</mtext><mtext>?\delta </mtext>}}\text{)}$, $\text{ΛV(x) = O(¦ x}\text{s}\text{?}{}^{\mathrm{?\delta }}\text{) (δ > 0), Λ}$ being the Laplace-Beltrami operator on the unit sphere Ω. Namely, we shall construct a unitary operator $\text{F}$ from PL₂(R³) onto $\text{L}{}_2\text{((0, ∞); L}{}_2\text{(Ω)), P}$ being the orthogonal projection onto the absolutely continuous subspace for H, such that for any Borel function α(λ),

$\text{(α(H)(Pf,g)=}\text{∫}\text{0}\text{∞}\text{(α(λ)(Ff)(λ),(Fg)(λ))L}{}_2\text{(ω) dλ}$

.     

The virial theorem in relativistic quantum mechanics

For a class of potentials including the Coulomb potential q = μr^?1 with ¦ μ ¦ < 1 (1) (i.e., atomic numbers Z ? 137), the virial theorem $\text{(u, α ·}\text{p}\text{u) = (u, r(}\text{?q}\text{?r}\text{)u)}$ is shown to hold, u being an eigenfunction of the operator

$\text{Hu = TU : = (α ·}\text{p}\text{+ β + q)u}$

,

$\text{D(H) = {u ¦ u ∈ [H}{}_{\mathrm{loc}}{}^1\text{(}\text{R}\text{+}{}^3\text{)]}{}^4\text{, r}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}\text{u, TU ∈ [L}{}^2\text{(R)}{}^3\text{]}{}^4\text{}}$

($\text{R}$₊³ := $\text{R}$?{0}). The result implies in particular that H with (1) does not have any eigenvalues embedded in the continuum. The proof uses a scale transformation.     

Harmonic analysis on hyperboloids

The regular representation of O(n, N) acting on $\text{L}{}^2\text{(}\text{O(n, N)}\text{O(n, N ? 1)}\text{)}$ is decomposed into a direct integral of irreducible representations. The homogeneous space $\text{O(n, N)}\text{O(n, N ? 1)}$ is realized as the Hyperboloid $\text{H = {(x, t) ? R}{}^{\mathrm{n\; +\; N}}\text{: ¦ t ¦}{}^2\text{? ¦ x ¦}{}^2\text{= 1}}$. The problem is essentially equivalent to finding the spectral resolution of a certain self-adjoint invariant differential operator □_h on H, which is the tangential part of the operator □ = Δ_x ? Δ_t on R^{n + N}. The spectrum of □_h contains a discrete part (except when N = 1) with eigenfunctions generated by restricting to H solutions of □u = 0 which vanish in the region $\text{¦ t ¦ < ¦ x ¦}$, and a continuous part $\text{H}$_?. As a representation of O(n, N), $\text{H}$_? ⊕ $\text{H}$_? is unitarily equivalent to the regular representation on L² of the cone $\text{{(x, t) : ¦ x ¦}{}^2\text{= ¦ t ¦}{}^2\text{}}$, and the intertwining operator is obtained by solving the equation □u = 0 with given boundary values on the cone. Explicit formulas are given for the spectral decomposition. The special case n = N = 2 gives the Plancherel formula for SL(2, R).     

The sum of aΩ(n) over integers n ≤ x with all prime factors between a and y

For a > 0 let $\text{ψ}{}_{\mathrm{a}}\text{(x, y) =}\text{Σ}\text{a}{}^{\mathrm{\Omega (n)}}$, the sum taken over all n, 1 ≤ n ≤ x such that if p is prime and p|n then a < p ≤ y. It is shown for u < about ($\text{log log}\text{x}\text{log log log}\text{x}$) that $\text{ψ}{}_{\mathrm{a}}\text{(x, x}{}^{\mathrm{<mtext>1</mtext><mtext>u</mtext>}}\text{) ? x(}\text{log}\text{x)}{}^{\mathrm{a?1}}\text{p}{}_{\mathrm{a}}\text{(u)}$, where p_a(u) solves a delay differential equation much like that for the Dickman function p(u), and the asymptotic behavior of p_a(u) is worked out.     

Equations du type de Monge-Ampère sur les variétés Riemanniennes compactes,III

Let (V_n, g) be a C^∞ compact Riemannian manifold without boundary. Given the following changes of metric: $\text{g′}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{= g +}\text{Hess}\text{? ±}\text{l}\text{α}{}^2\text{(▽ ? ? ▽?),}\text{g}\text{?}{}^{\mathrm{\pm }}\text{= ±?g + α}{}^2\text{Hess}\text{?}$, where a is a fixed constant, we study the corresponding Monge-Ampère equations (1)^±$\text{Log}\text{(¦g′}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{¦ ¦g¦}{}^{\mathrm{?1}}\text{) = F(P,▽?;?)}$, (2)^±$\text{Log}\text{(¦}\text{g}\text{?}{}_{\mathrm{?}}{}^{\mathrm{\pm }}\text{¦ ¦g¦}{}^{\mathrm{?1}}\text{) = F(P, ▽?; ?)}$. We first solve Eq. (2)^?, under some simple assumptions on F?C^∞. Then, using an appropriate change of functions that enables us to take advantage of the estimates just carried out for Eq. (2)^?, we extend to Eq.(1)^? all the results proved in our previous articles [5, 6] for the usual Monge-Ampère equation. Although equation (2)⁺ is not locally invertible, and does not even admit a solution for all $\text{F = λ? + ?, λ > 0, f ? C}{}^{\mathrm{\infty }}\text{(V}{}_{\mathrm{n}}\text{)}$, a similar change of functions leads to partial results about Eq. (1)⁺, via C² and C³ estimates for Eq. (2)⁺. Eventually we give some comments and errata of our previous article (P. Delanoë, J. Funct. Anal.41 (1981), 341–353).