Wave front set for solutions to Schrödinger equations

We consider solutions to Schrödinger equation on Rd with variable coefficients. Let H be the Schrödinger operator and let u(t)=e−itHu₀ be the solution to the Schrödinger equation with the initial condition u₀∈L²(Rd). We show that the wave front set of u(t) in the nontrapping region can be characterized by the wave front set of e−itH₀u₀, where H₀ is the free Schrödinger operator. The characterization of the wave front set is given by the wave operator for the corresponding classical mechanical scattering (or equivalently, by the asymptotics of the geodesic flow).     

A perturbed Whittaker-Kotel?nikov-Shannon sampling theorem

The sampling theorem of Whittaker (1915) [31], Kotel?nikov (1933) [25] and Shannon (1949) [28] gives cardinal series representations for finite L²-Fourier transforms at equidistant sampling points. Here we investigate the situation when the Fourier transform is replaced by a perturbed one. Thus the kernel of the transform will be of the form exp(−ixt)+ε(x,t), instead of exp(−ixt) in the unperturbed case. The perturbed kernel arises from first order eigenvalue problems with rank one perturbations.     

A local smoothing estimate for the Schrödinger equation

We show that the Schrödinger operator eitΔ is bounded from Wα,q(Rn) to Lq(Rn×[0,1]) for all α>2n(1/2−1/q)−2/q and q?2+4/(n+1). This is almost sharp with respect to the Sobolev index. We also show that the Schrödinger maximal operator sup0<t<1|eitΔf| is bounded from Hs(Rn) to when s>s₀ if and only if it is bounded from Hs(Rn) to L²(Rn) when s>2s₀. A corollary is that sup0<t<1|eitΔf| is bounded from Hs(R²) to L²(R²) when s>3/4.     

On a class of solutions of KdV

Practically every book on the Inverse Scattering Transform method for solving the Cauchy problem for KdV and other integrable systems refers to this method as nonlinear Fourier transform. If this is indeed so, the method should lead to a nonlinear analogue of the Fourier expansion formula . In this paper a special class of solutions of KdV whose role is similar to that of e^i(kx-ω(k)t) is discussed. The theory of these solutions, referred to here as harmonic breathers, is developed and it is shown that these solutions may be used to construct more general solutions of KdV similarly to how the functions e^i(kx-ω(t)) are used to perform the same task in the theory of Fourier transform. A nonlinear superposition formula for general solutions of KdV similar to the Fourier expansion formula is conjectured.     

Marcinkiewicz-summability of multi-dimensional Fourier transforms and Fourier series

A generalization of Marcinkiewicz-summability of multi-dimensional Fourier transforms and Fourier series is investigated with the help of a continuous function θ. Under some weak conditions on θ we show that the maximal operator of the Marcinkiewicz-θ-means of a tempered distribution is bounded from Hp(Xd) to Lp(Xd) for all d/(d+α)<p?∞ and, consequently, is of weak type (1,1), where 0<α?1 is depending only on θ and X=R or X=T. As a consequence we obtain a generalization of a summability result due to Marcinkiewicz and Zhizhiashvili for d-dimensional Fourier transforms and Fourier series, more exactly, the Marcinkiewicz-θ-means of a function f∈L₁(Xd) converge a.e. to f. Moreover, we prove that the Marcinkiewicz-θ-means are uniformly bounded on the spaces Hp(Xd) and so they converge in norm (d/(d+α)<p<∞). Similar results are shown for conjugate functions. Some special cases of the Marcinkiewicz-θ-summation are considered, such as the Fejér, Cesàro, Weierstrass, Picar, Bessel, de La Vallée-Poussin, Rogosinski and Riesz summations.     

Herz spaces and restricted summability of Fourier transforms and Fourier series

A general summability method, the so-called θ-summability is considered for multi-dimensional Fourier transforms and Fourier series. A new inequality for the Hardy-Littlewood maximal function is verified. It is proved that if the Fourier transform of θ is in a Herz space, then the restricted maximal operator of the θ-means of a distribution is of weak type (1,1), provided that the supremum in the maximal operator is taken over a cone-like set. From this it follows that over a cone-like set a.e. for all f∈L₁(Rd). Moreover, converges to f(x) over a cone-like set at each Lebesgue point of f∈L₁(Rd) if and only if the Fourier transform of θ is in a suitable Herz space. These theorems are extended to Wiener amalgam spaces as well. The Riesz and Weierstrass summations are investigated as special cases of the θ-summation.     

Semigroups associated with analytic Schrödinger operators

If the potential in a two-particle system is the boundary value of an analytic function, the physical Hamiltonian H(0) has an analytic continuation H(φ). The continuous spectrum of H(φ) consists of the half-line Y(0, φ) which runs from 0 to ∞e^2iφ. Integrating along lines parallel to Y(0, φ), this paper examines the Fourier transform of the resolvent R(λ, φ). The integration path passing through ±iεe^2iφ yields semigroups {U(t, ±iεe^2iφ, φ)} (t > 0 and t < 0). Under the assumption that the potential is local and belongs to suitable $\text{L}$^p-spaces, it is shown that the semigroups tend to norm limits as ε tends to 0. The proof is based on the Paley-Wiener theorem for functions in a strip. It generalizes to multiparticle systems under conditions on R(λ, φ) that are to be verified with the help of the theory of smooth operators.     

Tridiagonal matrices with nonnegative entries

In this paper, we characterize the nonnegative irreducible tridiagonal matrices and their permutations, using certain entries in their primitive idempotents. Our main result is summarized as follows. Let d denote a nonnegative integer. Let A denote a matrix in R and let denote the roots of the characteristic polynomial of A. We say A is multiplicity-free whenever these roots are mutually distinct and contained in R. In this case E_i will denote the primitive idempotent of A associated with theta_i(0?i?d). We say A is symmetrizable whenever there exists an invertible diagonal matrix Δ∈R such that ΔAΔ^-1 is symmetric. Let Γ(A) denote the directed graph with vertex set {0,1,…,d}, where i→j whenever i≠j and A_ij≠0.Theorem.Assume that each entry ofAis nonnegative. Then the following are equivalent for0≤s,t≤d.

(i)

The graphΓ(A)is a bidirected path with endpointss,t:s↔*↔*↔?↔*↔t.

(ii)

The matrixAis symmetrizable and multiplicity-free. Moreover the(s,t)-entry ofE_itimes(θ_i-θ₀)?(θ_i-θ_i-1)(θ_i-θ_i+1)?(θ_i-θ_d)is independent of i for0≤i≤d, and this common value is nonzero.

Recently Kurihara and Nozaki obtained a theorem that characterizes the Q-polynomial property for symmetric association schemes. We view the above result as a linear algebraic generalization of their theorem.     

Symplectic groups and the Klein-Gordon field

In this paper a Cohen factorization theorem x = a^t · x_t (t > 0) is proved for a Banach algebra A with a bounded approximate identity, where t ? a^t is a continuous one-parameter semigroup in A. This theorem is used to show that a separable Banach algebra B has a bounded approximate identity bounded by 1 if and only if there is a homomorphism θ from L¹($\text{R}$⁺) into B such that ∥ θ ∥ = 1 and θ(L¹($\text{R}$⁺)). B = B = B · θ(L¹($\text{R}$⁺)). Another corollary is that a separable Banach algebra with bounded approximate identity has a commutative bounded approximate identity, which is bounded by 1 in an equivalent algebra norm.     

Annihilating sets for the short time Fourier transform

We obtain a class of subsets of R2d such that the support of the short time Fourier transform (STFT) of a signal f∈L²(Rd) with respect to a window g∈L²(Rd) cannot belong to this class unless f or g is identically zero. Moreover we prove that the L²-norm of the STFT is essentially concentrated in the complement of such a set. A generalization to other Hilbert spaces of functions or distributions is also provided. To this aim we obtain some results on compactness of localization operators acting on weighted modulation Hilbert spaces.     

Locally adaptive fitting of semiparametric models to nonstationary time series

We fit a class of semiparametric models to a nonstationary process. This class is parametrized by a mean function μ(·) and a p-dimensional function θ(·)=(θ⁽¹⁾(·),…,θ^(p)(·))′ that parametrizes the time-varying spectral density f_θ(·)(λ). Whereas the mean function is estimated by a usual kernel estimator, each component of θ(·) is estimated by a nonlinear wavelet method. According to a truncated wavelet series expansion of θ⁽ⁱ⁾(·), we define empirical versions of the corresponding wavelet coefficients by minimizing an empirical version of the Kullback–Leibler distance. In the main smoothing step, we perform nonlinear thresholding on these coefficients, which finally provides a locally adaptive estimator of θ⁽ⁱ⁾(·). This method is fully automatic and adapts to different smoothness classes. It is shown that usual rates of convergence in Besov smoothness classes are attained up to a logarithmic factor.     

Mixed-norm estimates for a class of nonisotropic directional maximal operators and Hilbert transforms

For all d?2 and p∈(1,max(2,(d+1)/2)], we prove sharp Lp to Lp(Lq) estimates (modulo an endpoint) for a directional maximal operator associated to curves generated by the dilation matrices exp((logt)P), where P has real entries and eigenvalues with positive real part. For the corresponding Hilbert transform we prove an analogous result for all d?2 and p∈(1,2]. As corollaries, we prove Lp bounds for variable kernel singular integral operators and Nikodym-type maximal operators taking averages over certain families of curved sets in Rd.     

Weighted restriction theorems for space curves

Consider a nondegenerate Cn curve γ(t) in Rn, n?2, such as the curve γ₀(t)=(t,t²,…,tn), t∈I, where I is an interval in R. We first prove a weighted Fourier restriction theorem for such curves, with a weight in a Wiener amalgam space, for the full range of exponents p, q, when I is a finite interval. Next, we obtain a generalization of this result to some related oscillatory integral operators. In particular, our results suggest that this is a quite general phenomenon which occurs, for instance, when the associated oscillatory integral operator acts on functions f with a fixed compact support. Finally, we prove an analogue, for the Fourier extension operator (i.e. the adjoint of the Fourier restriction operator), of the two-weight norm inequality of B. Muckenhoupt for the Fourier transform. Here I may be either finite or infinite. These results extend two results of J. Lakey on the plane to higher dimensions.     

Existence and comparison theorems for nonlinear diffusion systems

In this paper we prove existence, uniqueness, and regularity results for systems of nonlinear second order parabolic equations with boundary conditions of the Dirichlet, Neumann, and regular oblique derivative types. Let K(t) consist of all functions (v¹(x), v²(x),…, v^m(x)) from $\text{Ω ? R}{}^{\mathrm{n}}$ into R^m which satisfy ψⁱ(x, t) ? vⁱ(x) ? θⁱ(x, t) for all $\text{x ? Ω}\text{and}\text{1 ? i ? m}$, where ψⁱand θⁱ are extended real-valued functions on $\text{}\text{?}\text{gW × [0, T)}$. We find conditions which will ensure that a solution U(x, t) ≡ (u¹(x, t), u²(x, t),…, u^m(x, t)) which satisfies U(x, 0) ?K(0) will also satisfy U(x, t) ?K(t) for all 0 ? t < T. This result, which has some similarity to the Gronwall Inequality, is then used to prove a global existence theorem.     

A calculus of Fourier integral operators with inhomogeneous phase functions on R<Superscript> <Emphasis Type="Italic">d</Emphasis> </Superscript>

We construct a calculus for generalized SG Fourier integral operators, extending known results to a broader class of symbols of SG type. In particular, we do not require that the phase functions are homogeneous. An essential ingredient in the proofs is a general criterion for asymptotic expansions within the Weyl-Hörmander calculus. We also prove the L²(R^d)-boundedness of the generalized SG Fourier integral operators having regular phase functions and amplitudes uniformly bounded on R^2d.     

Long time behavior of heat kernels of operators with unbounded drift terms

Given a second-order elliptic operator on Rd, with bounded diffusion coefficients and unbounded drift, which is the generator of a strongly continuous semigroup on L²(Rd) represented by an integral, we study the time behavior of the integral kernel and prove estimates on its decay at infinity. If the diffusion coefficients are symmetric, a local lower estimate is also proved.     

An inversion formula for the dual horocyclic Radon transform on the hyperbolic plane

Consider the Poincare unit disk model for the hyperbolic plane H ². Let Ξ be the set of all horocycles in H ² parametrized by (θ, p), where e^iθ is the point where a horocycle ξ is tangent to the boundary |z| = 1, and p is the hyperbolic distance from ξ to the origin. In this paper we invert the dual Radon transform R* : μ(θ, p) → (z) under the assumption of exponential decay of μ and some of its derivatives. The additional assumption is that P_m(d/dp)(μ_m(p)e^p) be even for all m ∈ ?. Here P_m(d/dp) is a family of differential operators introduced by Helgason, and μ_m(p) are the coefficients of the Fourier series expansion of μ(θ, p). (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Polynomials orthogonal on the semicircle,II

Generalizing previous work [2], we study complex polynomials {π _k },π _k (z)=z ^k +?, orthogonal with respect to a complex-valued inner product (f,g)=∫ ₀ ^π f(e ^iθ)g(e ^iθ)w(e ^iθ)dθ. Under suitable assumptions on the “weight function”w, we show that these polynomials exist whenever Re ∫ ₀ ^π w(e ^iθ)dθ≠0, and we express them in terms of the real polynomials orthogonal with respect to the weight functionw(x). We also obtain the basic three-term recurrence relation. A detailed study is made of the polynomials {π _k } in the case of the Jacobi weight functionw(z)=(1?z)^α(1+z)^β, α>?1, and its special case \(\alpha = \beta = \lambda - \tfrac{1}{2}\) (Gegenbauer weight). We show, in particular, that for Gegenbauer weights the zeros ofπ _n are all simple and, ifn≥2, contained in the interior of the upper unit half disc. We strongly suspect that the same holds true for arbitrary Jacobi weights. Finally, for the Gegenbauer weight, we obtain a linear second-order differential equation forπ _n (z). It has regular singular points atz=1, ?1, ∞ (like Gegenbauer's equation) and an additional regular singular point on the negative imaginary axis, which depends onn.     

Θ-type Calderón-Zygmund operators with non-doubling measures

Let µ be a Radon measure on ? ^d which may be non-doubling. The only condition that µ must satisfy is µ(B(x, r)) ≤ Cr ⁿ for all x∈? ^d , r > 0 and for some fixed 0 < n ≤ d. In this paper, under this assumption, we prove that θ-type Calderón-Zygmund operator which is bounded on L ²(µ) is also bounded from L ^∞(µ) into RBMO(µ) and from H _atb ^1,∞ (µ) into L ¹(µ). According to the interpolation theorem introduced by Tolsa, the L ^p (µ)-boundedness (1 < p < ∞) is established for θ-type Calderón-Zygmund operators. Via a sharp maximal operator, it is shown that commutators and multilinear commutators of θ-type Calderón-Zygmund operator with RBMO(µ) function are bounded on L ^p (µ) (1 < p < ∞).     

Interpolation theorems for variable exponent Lebesgue spaces

When Hardy-Littlewood maximal operator is bounded on Lp(⋅)(Rn) space we prove θ[Lp(⋅)(Rn),BMO(Rn)]=Lq(⋅)(Rn) where q(⋅)=p(⋅)/(1−θ) and θ[Lp(⋅)(Rn),H¹(Rn)]=Lq(⋅)(Rn) where 1/q(⋅)=θ+(1−θ)/p(⋅).