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.     

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.     

Functions and derivations of C1-algebras

It is shown that there is a closed symmetric derivation δ of a C¹-algebra with dense domain $\text{D}$(δ), an element A = A¹ ?$\text{D}$(δ), and a C¹-function $\text{f}$ such that $\text{f}$(A)?$\text{D}$(δ). Some estimates are derived for $\text{∥ δ(¦ A ¦)∥}\text{and}\text{∥ δ(A}{}_{\mathrm{+}}{}^{\mathrm{\alpha }}\text{)∥}$, where 0 < α < 1. It is shown that there exists a family of one-one self-adjoint operators S(t) in $\text{L}$(H) which depends linearly on t, while $\text{¦ S(t)¦}$ is not differentiable. It is also shown that there exists $\text{L}$(H) which is not C¹-self-adjoint even though it satisfies $\text{∥}\text{exp}\text{(itT)∥ ? C(1 + ¦ t ¦)}$ for all t ? $\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¹.     

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

Properties of certain algebras between L∞and H∞

The main result of this paper is that if F is a closed subset of the unit circle, then $\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}\text{H}{}^{\mathrm{\infty }}$ is an M-ideal of $\text{L}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}$. Consequently, if $\text{? ∈ L}{}^{\mathrm{\infty }}$ then ? has a closest element in H^∞ + L_F^∞. Furthermore, if $\text{¦F¦ >0}\text{then}\text{L}{}^{\mathrm{\infty }}\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}$ is not the dual of any Banach space.     

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.     

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.     

On the qth convergence exponent of entire functions

In this paper we obtain a growth relation for entire functions of qth order with respect to the distribution of its zeros. We also derive certain relations between the qth convergence exponents of two or more entire functions. The most striking result of the paper is: If f(z) has at least one zero, then

$\text{lim sup}\text{r→∞}\text{log n}\text{(r)}\text{log}{}^{\mathrm{[q+1]}}{}_{\mathrm{r}}\text{=?(q)}$

, where n(r) is the number of zeros of f(z) in $\text{¦}\text{z}\text{¦ ? r}$ and

$\text{?(q)=g.l.b.}\text{α:α>0 and}\text{∑}\text{∞}\text{n=1}\text{(log}{}^{\mathrm{[q]}}\text{r}{}_{\mathrm{n}}\text{)}{}^{\mathrm{-\alpha }}\text{<∞}$

.     

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.     

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).     

A remark to the preceding paper by Chernoff

It is shown that the method of Chernoff developed in the preceding paper can be modified to prove the essential self-adjointness on C₀^∞(R^m) of all positive powers of the Schrödinger operator T = ? Δ + q if q real and in C^∞(R^m) and if $\text{T ? ?a ? b ¦ x ¦}{}^2\text{on}\text{C}{}_0{}^{\mathrm{\infty }}\text{(R}{}^{\mathrm{m}}\text{)}$.     

Unitary interpolants,factorization indices and infinite Hankel block matrices

The existence, uniqueness, and construction of unitary n × n matrix valued functions $\text{?(ζ) = ∑}{}_{\mathrm{j\; =\; ?\infty }}{}^{\mathrm{\infty }}\text{?}{}_{\mathrm{j}}\text{ζ}{}^{\mathrm{j}}$ in Wiener-like algebras on the circle with prescribed matrix Fourier coefficients $\text{?}{}_{\mathrm{j}}\text{= γ}{}_{\mathrm{j}}$ for j ? 0 are studied. In particular, if $\text{Σ ¦γ}{}_{\mathrm{j}}\text{¦ < ∞}$, then such an ? exists with $\text{Σ ¦?}{}_{\mathrm{j}}\text{¦ < ∞}$ if and only if ∥Γ₀∥ ? 1, where Γ_v, denotes the infinite block Hankel matrix (γ_{j + k + v}), j, k = 0, 1,…, acting in the sequence space l_n². One of the main results is that the nonnegative factorization indices of every such ? are uniquely determined by the given data in terms of the dimensions of the kernels of $\text{I ? Γ}{}_{\mathrm{v}}{}^1\text{Γ}{}_{\mathrm{v}}$, whereas the negative factorization indices are arbitrary. It is also shown that there is a unique such ? if and only if the data forces all the factorization indices to be nonnegative and simple conditions for that and a formula for ? in terms of certain Schmidt pairs of Γ₀ are given. The results depend upon a fine analysis of the structure of the kernels of $\text{I ? Γ}{}_{\mathrm{v}}{}^1\text{Γ}{}_{\mathrm{v}}$ and of the one step extension problem of Adamjan, Arov, and Krein (Funct. Anal. Appl.2 (1968), 1–18). Isometric interpolants for the nonsquare case are also considered.     

Convergence of nonlinear elliptic operators and application to a quasi-variational inequality

This paper is composed of two parts. In the first part closedness and compactness results are given for a sequence of nonlinear elliptic operators of the form $\text{Lu  ∑}{}_{\mathrm{¦\alpha ¦?m}}\text{(?1)}{}^{\mathrm{¦\alpha ¦}}\text{D}{}^{\mathrm{\alpha }}\text{A}{}_{\mathrm{\alpha }}\text{(x, u, ▽u,…, ▽}{}^{\mathrm{m}}\text{u)}$, with monotone-type assumptions on the A_α's. These results are then used in the second part to derive existence theorems for a quasi-variational inequality related to some questions from nonlinear heat flow. This quasi-variational inequality involves a second-order operator as above and an implicit obstacle of the Signorini type on the boundary.     

The approximation of flows

Let U, V be two strongly continuous one-parameter groups of bounded operators on a Banach space $\text{X}$ with corresponding infinitesimal generators S, T. We prove the following: ∥U_t, ? V_t ∥ = O(t), t → 0, if and only if U = V; ∥U_t ? V_t∥ = O(t^α), t → 0; with 0 ? α ? 1, if and only if $\text{S = Ω(T + P)Ω}{}^{\mathrm{?1}}$, where Ω, P, are bounded operators on $\text{X}$ such that $\text{∥U}{}_{\mathrm{t}}\text{Ω ? ΩU}{}_{\mathrm{t}}\text{∥ = O(t}{}^{\mathrm{\alpha }}\text{), ∥U}{}_{\mathrm{t}}\text{P ? PU}{}_{\mathrm{t}}\text{∥ = ?O(t}{}^{\mathrm{\alpha }}\text{), t → 0; ∥U}{}_{\mathrm{t}}\text{? V}{}_{\mathrm{t}}\text{∥ = O(t)}$ if and only if $\text{S}{}^1\text{? T}{}^1$ has a bounded extension to $\text{X}$¹. Further results of this nature are inferred for semigroups, reflexive spaces, Hilbert spaces, and von Neumann algebras.     

Coefficient inequalities for a subclass of starlike functions

A function f(z) = z ? ∑^∞_{n = 2}a_nzⁿ, a_n ? 0, analytic and univalent in the unit disk, is said to be in the family $\text{T}{}^1\text{(a, b)}$, a real and b ? 0, if $\text{¦(}\text{zf′}\text{f}\text{) ? a¦ ? b}$ for all z in the unit disk. A complete characterization is found for $\text{T}{}^1\text{(a, b)}$ when a ? 1. Also, sharp coefficient bounds are determined for certain subclasses of $\text{T}{}^1\text{(a, b)}$ when a < 1; however, examples are given to show that these bounds do not remain valid for the whole family.     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

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).     

Ultracontractivity and the heat kernel for Schrödinger operators and Dirichlet Laplacians

Abstract connections between integral kernels of positivity preserving semigroups and suitable L^p contractivity properties are established. Then these questions are studied for the semigroups generated by $\text{?Δ + V}\text{and}\text{H}{}_{\mathrm{\Omega }}$, the Dirichlet Laplacian for an open, connected region Ω. As an application under a suitable hypothesis, Sobolev estimates are proved valid up to ?Ω, of the form $\text{¦η(x)¦? c?}{}_0\text{(x) ∥H}{}_{\mathrm{\Omega }}{}^{\mathrm{k}}\text{η∥}{}_2$, where ?₀ is the unique positive L² eigenfunction of $\text{H}{}_{\mathrm{\Omega }}$.