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}$.     

Lp estimates for the wave equation

Let u(x, t) be the solution of u_tt ? Δ_xu = 0 with initial conditions $\text{u(x, 0) = g(x)}\text{and}\text{u}{}_{\mathrm{t}}\text{(x, 0) = ?;(x)}$. Consider the linear operator $\text{T: ?; → u(x, t)}$. (Here g = 0.) We prove for t fixed the following result. Theorem 1: T is bounded in L^p if and only if . Theorem 2: If the coefficients are variables in C and constant outside of some compact set we get: (a) If n = 2k the result holds for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ < (n ? 1)}{}^{\mathrm{?1}}$. (b) If n = 2k ? 1, the result is valid for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ ? (n ? 1)}$. This result are sharp in the sense that for p such that $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ > (n ? 1)}{}^{\mathrm{?1}}$ we prove the existence of $\text{?; ? L}{}^{\mathrm{P}}$ in such a way that $\text{T?; ? L}{}^{\mathrm{P}}$. Several applications are given, one of them is to the study of the Klein-Gordon equation, the other to the completion of the study of the family of multipliers $\text{m(ξ) = ψ(ξ) e}{}^{\mathrm{i¦\xi ¦}}\text{¦ ξ ¦}{}^{\mathrm{?b}}$ and finally we get that the convolution against the kernel $\text{K(x) = ?(x)(1 ? ¦ x ¦)}{}^{\mathrm{?1}}$ is bounded in H¹.     

Oscillation theory at a finite singularity

It is well known that every weak solution (with boundary values 0) of a semilinear equation $\text{Au + ?(x, u) = g}$ is a regular solution if ? fulfils the growth condition $\text{(1) ¦?(x, u)¦? c ¦u¦}{}^{\mathrm{<mtext>(n\; +\; 2m)</mtext><mtext>(n\; ?\; 2m)</mtext><mtext>\; ?\; ?</mtext>}}$. Here 2m is the order of A. In this paper we weaken this condition to $\text{c ¦u ¦}{}^{\mathrm{<mtext>(n\; +\; 2m)</mtext><mtext>(n\; ?\; 2m)</mtext><mtext>\; +\; 1</mtext>}}\text{? ?(x, u)u ? ?c ¦u ?}{}^{\mathrm{<mtext>(n\; +\; 2m)</mtext><mtext>(n\; ?\; 2m)</mtext><mtext>\; +\; 1\; ?\; ?</mtext>}}$. This requires a technique completely different from that which may be applied in case (1).     

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.     

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λ}$

.     

Sublinear perturbations of the differential equation y(n) = 0 and of the analogous difference equation

According to a result of A. Ghizzetti, for any solution y(t) of the differential equation where $\text{y}{}^{\mathrm{(n)}}\text{(t)+}\text{∑}\text{i=0}\text{n?1}\text{g}{}_{\mathrm{i}}\text{(t) y}{}^{\mathrm{i}}\text{(t)=0}\text{(t ? 1)}$, $\text{∝}{}_1{}^{\mathrm{\infty }}\text{¦g}{}_{\mathrm{i}}\text{(x)¦x}{}^{\mathrm{n?I?1}}\text{dx < ∞}$ (0 ?i ? n ?1, either y(t) = 0 for t ? 1 or there is an integer r with 0 ? r ? n ? 1 such that $\text{lim}\text{t → ∞}\text{y(t)}\text{t}{}^{\mathrm{r}}$ exists and ≠0. Related results are obtained for difference and differential inequalities. A special case of the former has interesting applications in the study of orthogonal polynomials.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

Kolmogorov-Landau inequalities for monotone functions

Presented in this report are two further applications of very elementary formulae of approximate differentiation. The first is a new derivation in a somewhat sharper form of the following theorem of V. M. Olovyani?nikov: LetN_n (n ? 2) be the class of functionsg(x) such thatg(x), g′(x),…, g⁽ⁿ⁾(x) are ? 0, bounded, and nondecreasing on the half-line ?∞ < x ? 0. A special element ofN_nis

$\text{g}{}_1\text{(x) = 0}\text{if}\text{?∞ < x < ?1, g}{}_1\text{(x) = (1 + x)}{}^{\mathrm{n}}\text{if}\text{?1 ? x ? 0}$

. Ifg(x) ∈ N_nis such that

$\text{g(0) ? g}{}_1\text{(0) = 1, g}{}^{\mathrm{(n)}}\text{(0) ? g}{}_1{}^{\mathrm{(n)}}\text{(0) = n!}$

, then

$\text{g}{}^{\mathrm{(v)}}\text{(0) ? g}{}_1{}^{\mathrm{(v)}}\text{(0)}$

for

1$\text{v = 1,…, n ? 1}$

. Moreover, if we have equality in (1) for some value of v, then we have there equality for all v, and this happens only if $\text{g(x) = g}{}_1\text{(x)}$ in (?∞, 0].The second application gives sufficient conditions for the differentiability of asymptotic expansions (Theorem 4).     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

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.     

Topological results on a certain class of functionals and application

We study in this paper problems of the type $\text{Δu + ¦u¦}{}^{\mathrm{p\; ?\; 1}}\text{u = ?(x)}$, Ω bounded ? $\text{R}$^N, $\text{u = 0¦}{}_{\mathrm{?\Omega }}$, (I) where $\text{?(x)}$ is given and where $\text{p ? (1, (}\text{N + 2}\text{N ? 2}\text{)) (p ? (1, + ∞)}\text{if}\text{N ? 2)}$. Our main result is that (I) has an infinite number of solutions for a residual set of ? in $\text{H}{}^{\mathrm{?1}}\text{(Ω)}$. In particular, for many n ∈ $\text{N}$ there exists an open and dense subset of ? in $\text{H}{}^{\mathrm{?1}}\text{(Ω)}$ such that (I) has n distinct solutions for such an ? This result is to be related to the conjecture developed in [1] of the existence of an infinite number of solutions to (I). The proof relies on a general characterization of level sets for a certain class of functionals, when there are no critical value in a large enough interval. In addition to the study of problem (I), we apply this characterization to give another proof (using, e.g., Brouwer's fixed point theorem) for some classical results about even functionals and saddle points.     

Problèmes de Neumann non linéaires sur les variétés riemanniennes

Nonlinear Neumann problems on riemannian manifolds. Let ($\text{M}\text{, g}$) be a C^∞ compact riemannian manifold of dimension n ? 2 whose boundary B is an (n ? 1)-dimensional submanifold and let $\text{M =}\text{M}\text{?B}$ be the interior of $\text{M}$. Study of Neumann problems of the form: $\text{Δφ +?(φ, x) = 0}\text{in}\text{M, (}\text{dφ}\text{dn}\text{) + g(φ, y) = 0}\text{on}\text{B}$, where, for every $\text{(t, x, y) ? R × M × B, ¦?(t, x)¦}\text{and}\text{¦g(t, y)¦}$ are bounded by $\text{C(1 + ¦t¦}{}^{\mathrm{a}}\text{)}\text{or}\text{C}\text{exp}\text{(¦t¦}{}^{\mathrm{a}}\text{)}$. Application to the determination of a conformal metric for which the scalar curvature of M and the mean curvature of B take prescribed values.     

Low energy scattering for nonlinear Klein-Gordon equations

The scattering operator which belongs to a pair of PDEs consisting of the Klein-Gordon equation and a perturbation of it by a power-like nonlinearity z.hfl;(u) is studied. It is shown that this operator can be defined on a whole neighbourhood of the origin in energy space if $\text{z.hfl;(u) = ±¦u¦}{}^{\mathrm{p\; ?\; 1}}\text{u}\text{or}\text{±¦u¦}{}^{\mathrm{p}}$, where $\text{1+4}\text{(n ? 1)}\text{<p <}\text{1 + 4}\text{(n ? 2)}$ and the space dimension n ? 2 is arbitrary.     

Weak-1 generators for a class of subalgebras of l1

Let α ? 0 and let $\text{D(}\text{α}\text{) = {f(z) = ∑}{}_0{}^{\mathrm{\infty }}\text{α}{}_{\mathrm{n}}\text{z}{}^{\mathrm{n}}\text{¦ ∑}{}_0{}^{\mathrm{\infty }}\text{(n + 1)}{}^{\mathrm{<mtext>\alpha </mtext>}}\text{¦ a}{}_{\mathrm{n}}\text{¦ < ∞}}$. Then D(α) is a subalgebra of l¹. We discuss the weak-1 generators of D(α). We use some of our techniques to prove that if ? is a weak-1 generator of H^∞ and ∥ ? ∥_∞ ? 1, then the composition operator C_? on the Dirichlet space has dense range.     

Unbounded operators: Perturbations and commutativity problems

Let H be a complex Hilbert space, and let G_i, i = 1, 2, be closed and orthogonal subspaces of the product space H × H. The subspace G = G₁ ⊕ G₂ is called a (graph) perturbation. We give conditions for invariance of regular operators (R.O.) under graph perturbations: When is the perturbation of a R.O. again a R.O.? If N is a Hilbert space we consider R.O. (i.e., densely defined and closed operators T) in H=$\text{L}$(N) such that G(T)=G(S)⊕V$\text{H}$(M, where G denotes the graph, S is a decomposable operator in H, V a decomposable partial isometry such that the initial space of V(t) is equal to M a.e. t, and finally $\text{H}$(M) is the Hardy space of analytic $\text{L}$₂ vector functions with values in M ? N × N. Such operators T commute with the bilateral shift U; but, unless M = 0, T does not commute with $\text{U}{}^1$. Conversely, this is a canonical model for all R.O. with said commutativity properties. Moreover, the model is unique when T is given, and M = G(w) where w is a partial isometry in N. The detailed structure of the model is analyzed in the special case where dim N = dim M = 1. We relate the problem to a condition of Szeg? by showing that T is a $\text{R.O. iff}\text{∝}{}_0{}^{\mathrm{2\pi }}\text{log}\text{¦ V}{}_2\text{(t)¦ dt = ?∞,}\text{where}\text{V = (V}{}_1\text{, V}{}_2\text{)}$ is the partial isometry in the special case of dimension one. Szeg?'s conditions enters in a different way in the analysis of the case M = N × N, as well as in the spectral analysis of T. Our results provide an answer to a commutativity problem posed by Fuglede. If T is an arbitrary densely defined operator, and A?B(H) is normal, we prove two theorems stating conditions for the implication $\text{A}{}_{\mathrm{\cup }}\text{T ? A}{}_{\mathrm{\cup }}{}^1\text{T}$. These conditions cannot generally be relaxed.     

Random Euclidean embeddings in spaces of bounded volume ratio

Let $\text{(}\text{R}{}^{\mathrm{N}}\text{,6·6)}$ be the space $\text{R}{}^{\mathrm{N}}$ equipped with a norm 6·6 whose unit ball has a bounded volume ratio with respect to the Euclidean unit ball. Let Γ be any random N×n matrix with N>n, whose entries are independent random variables satisfying some moment assumptions. We show that with high probability Γ is a good isomorphism from the n-dimensional Euclidean space $\text{(}\text{R}{}^{\mathrm{n}}\text{,|·|)}$ onto its image in $\text{(}\text{R}{}^{\mathrm{N}}\text{,6·6)}$: there exist α,β>0 such that for all $\text{x∈}\text{R}{}^{\mathrm{n}}$, $\text{α}\text{N}\text{|x|?6Γx6?β}\text{N}\text{|x|}$. This solves a conjecture of Schechtman on random embeddings of ?₂ⁿ into ?₁^N. To cite this article: A. Litvak et al., C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

On a semilinear wave equation: The Cauchy problem and the asymptotic behavior of solutions

The semilinear wave equation

$\text{□u + m}{}^2\text{u + ¦u¦}{}^{\mathrm{p\; ?\; 2}}\text{u(V1 ¦u¦}{}^{\mathrm{p}}\text{) = 0}$

in $\text{Ω= R}{}^3\text{, ?∞ < t < ∞}$, is studied where □ denotes the d'Alembertian operator and 1 means spatial convolution. Under mild assumptions on the real-valued function V and 2 ? p ? 3 the well-posedness of the Cauchy problem is proved. Furthermore, some properties of the solutions of the equation are analyzed such as the asymptotic behavior of local energy as $\text{¦t¦ → + ∞}$ in the case of zero mass. Our results extend that of Perla Menzala and Strauss, where case p = 2 was studied.     

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.     

Temporal exponential decay for the Stark effect in atoms

Let $\text{H}{}_1\text{= ?∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{N}}\text{(Δ}{}_{\mathrm{i}}\text{+ V(}\text{x}{}_{\mathrm{i}}\text{)) + ∑}{}_{\mathrm{1\; ?\; i\; <j\; ?\; N}}\text{¦}\text{x}{}_{\mathrm{i}}\text{?}\text{x}{}_{\mathrm{j}}\text{¦}{}^{\mathrm{?1}}\text{, V(}\text{x}{}_{\mathrm{i}}\text{) = N ∝ ¦}\text{x}\text{?}\text{y}\text{¦}{}^{\mathrm{?1}}\text{?(}\text{y}\text{)d}\text{y}$, with ? a normalized Gaussian. Suppose $\text{E}$ ≠ 0 and that $\text{H = H}{}_1\text{+}\text{E}\text{· (∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{N}}\text{x}{}_{\mathrm{i}}\text{)}$ has no eigenfunctions in L²($\text{R}$^3N. If H₁ψ = μψ with μ < infσ_ess(H₁), then (ψ, e^?itHψ) decays exponentially at a rate governed by the positions of the resonances of H.