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.     

On a property of the set of radiation patterns

Consider the exterior boundary value problem (▽² + K²) u = 0, in Ω, k >0. $\text{u¦}{}_{\mathrm{\Gamma }}\text{= h}$, where Γ is a smooth closed connected surface in $\text{R}$³, $\text{u ~}\text{exp}\text{(ik ¦x¦)¦x¦}{}^{\mathrm{?1}}\text{∝(k, n)}\text{as}\text{¦X¦→ ∞, n = x¦x¦}{}^{\mathrm{?1}}$, ∝ is called the radiation pattern. We prove that when h runs through any dense set in L²(Γ) the corresponding radiation pattern ∝(k,n) runs through a dense set in L²(S²) for any k >0, where S² is the unit sphere in $\text{R}$³.     

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.     

On an estimate for Bloch and Doob norm and covering problem in Doob's class

For any fixed 0 < π ? 2π, let D(π) be the family of all holomorphic functions in the unit disk Δ which satisfy (i)f(0) = 0 and (ii) $\text{lim inf}{}_{\mathrm{z\; \to \; \pi ¦f(z)¦\; ?\; 1}}$, for all π lying on some arc A_f ? ?Δ with arclength $\text{¦A}{}_{\mathrm{f}}\text{¦ ? π}$. We show that for each 0 < ε < 1, there is a π₀ > 0 such that for any f?D(π) with π < π₀, the Bloch and Doob norm respectively satisfy

$\text{6f6}{}_{\mathrm{B}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|}{}^2\text{) > 2(1 ? ε)}\text{log}\text{1+}\text{cos}\text{(}\text{p}\text{2}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

$\text{6f6}{}_{\mathrm{D}}\text{=}\text{sup}\text{z?Δ}\text{|f′(z)| (1?|z|) > (1 ? ε)}\text{log}\text{1}\text{1?}\text{cos}\text{(}\text{p}\text{2}{}^{\mathrm{?1}}$

These two estimates do not hold with ε = 0.     

Asymptotic evaluation of two families of integrals

In this paper the integrals $\text{f}{}_{\mathrm{mv}}\text{(τ) = ∝}{}_0{}^{\mathrm{\infty }}\text{exp}\text{[?(t + τ)]t}{}^{\mathrm{v}}\text{(}\text{ln}\text{t)}{}^{\mathrm{m}}\text{(t + τ)}{}^{\mathrm{?1}}\text{dt}\text{and}\text{g}{}_{\mathrm{mv}}\text{(τ) = ∝}{}_0{}^{\mathrm{\infty }}\text{exp}\text{[? ¦ ? τ ¦]t}{}^{\mathrm{v}}\text{(}\text{ln}\text{t)}{}^{\mathrm{m}}\text{(t ? τ)}{}^{\mathrm{?1}}\text{dt}$ are investigated for positive real values of the variable τ. Here, m is a nonnegative integer, v is a complex variable with Re(v) > ?1. Both integrals are related to the complex integral Φ_mγ(z) = ∝₀^∞exp[?(t ? z)]t^?γ(ln t)^m(t ? z)^?1dt with 0 ? Re(γ) < 1, the behavior of which is analyzed in detail. The results are applied to obtain asymptotic representations for f_mn(τ) and g_mn(τ), m and n both nonnegative integers, near τ = 0. The latter integrals play a role in the study of the equations of neutron transport and radiative transfer.     

Resolvent estimates for a certain class of Schrödinger operators with exploding potentials

Let $\text{H = ?Δ + V}{}_{\mathrm{<mtext>E</mtext>}}\text{(¦x¦)+ V(x)}$ be a Schrödinger operator in Rⁿ. Here $\text{V}{}_{\mathrm{<mtext>E</mtext>}}\text{(¦x¦)}$ is an “exploding” radially symmetric potential which is at least C² monotone nonincreasing and O(r²) as r → ∞. V is a general potential which is short range with respect to V_E. In particular, V_E  0 leads to the “classical” short-range case (V being an Agmon potential). Let Λ = lim_{r → ∞}V_E(r) and R(z) = (H ? z)^?1, 0 < Im z, Λ < Re z < ∞. It is shown that R(z) can be extended continuously to Im z = 0, except possibly for a discrete subset $\text{N}$?(Λ, ∞), in a suitable operator topology $\text{B(L, L}{}^1\text{)}$. And L ? L²(Rⁿ) is a weighted L²-space; H is then absolutely continuous over (Λ, ∞), except possibly for a discrete set of eigenvalues. The corresponding eigenfunctions are shown to be rapidly decreasing.     

Some existence and nonexistence theorems for solutions of degenerate parabolic equations

The initial and boundary value problem for the degenerate parabolic equation v_t = Δ(?(v)) + F(v) in the cylinder $\text{Ω × ¦0, ∞), Ω ? R}{}^{\mathrm{n}}$ bounded, for a certain class of point functions ? satisfying ?′(v) ? 0 (e.g., $\text{?(v) = ¦v¦}{}^{\mathrm{m}}\text{sign}\text{v}$) is considered. In the case that F(v) sign $\text{v ? C(1 + ¦?(v)¦}{}^{\mathrm{\alpha }}\text{), α < 1}$, the equation has a global time solution. The same is true for α = 1 provided the measure of Ω is sufficiently small. In the case that $\text{F(v)}\text{?(v)}$ is nondecreasing a condition is given on the initial state v(x, 0) which implies that the solution must blow up in finite time. The existence of such initial states is discussed.     

A decomposition theorem for an analytic function

Let f(z), an analytic function with radius of convergence R (0 < R < ∞) be represented by the gap series ∑_{k = 0}^∞c_kz^λ_k. Set and define the growth constants ?, λ, T, t by

$\text{?}\text{λ}\text{=}\text{lim sup}\text{r→R}\text{inf}\text{{}\text{log}\text{[Rr /(R?r)]}{}^{\mathrm{?1}}\text{log}{}^{\mathrm{+}}\text{log}{}^{\mathrm{+}}\text{M(r)}}$

, and if 0 < ? < ∞,

$\text{T}\text{t}\text{=}\text{lim sup}\text{r→R}\text{inf}\text{{[Rr /(R?r)]}{}^{\mathrm{??}}\text{log}{}^{\mathrm{+}}\text{M(r)}}$

. Then, assuming 0 < t < T < ∞, we obtain a decomposition theorem for f(z).     

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{<∞}$

.     

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.     

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.     

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.     

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

.     

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

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.     

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 the convergence of solutions of functional differential equations with infinite delay

Let $\text{C(β), S1(β),}\text{and}\text{K(β, λ)}$ be the classes of univalent functions defined in $\text{E = {z: ¦z¦< 1}}$, which are convex of order β, starlike of order β and close-to-convex of order β type λ. Let $\text{f(z) = (}\text{1}\text{α}\text{)z}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>\alpha </mtext>}}\text{∝}{}^{\mathrm{z}}{}_0\text{z}{}^{\mathrm{<mtext>1</mtext><mtext>x?2</mtext>}}\text{F(z)dz, 0 ? α < 1}$. We discuss the properties of the function f when this function F belongs to the class K(β, λ) and its various subclasses.     

On the number of conjugacy classes in SL(2,Z)

Let $\text{H}\text{(t)}$ be the number of conjugacy classes of elements in SL(2, $\text{L}$) with trace t, and let $\text{h}\text{(n)}$ be the number of equivalence classes of binary quadratic forms with discriminant n. Then for t≠±2, $\text{H}\text{(t)=}\text{h}\text{(t}{}^2\text{?4)}$. For all real θ > 0 there is a T(θ) such that whenever |t|>T(θ), $\text{H}\text{(t)>|t|}{}^{\mathrm{1?\theta }}$. There is a c>0 such that for those t such that t²?4 is squarefree, $\text{H}\text{(t)≤c|t|}$.