Advanced Search

In the half-space ${ℝ}^d\times ℝ₊$, consider the Hermite-Schrödinger equation i∂u/∂t = -Δu + |x|²u, with given boundary values on ${ℝ}^d$. We prove a formula that links the solution of this problem to that of the classical Schrödinger equation. It shows that mixed norm estimates for the Hermite-Schrödinger equation can be obtained immediately from those known in the classical case. In one space dimension, we deduce sharp pointwise convergence results at the boundary by means of this link.

We discuss the concept of Sobolev space associated to the Laguerre operator $L_{\alpha }=-yd²/dy²-d/dy+y/4+\alpha ²/4y$, y ∈ (0,∞). We show that the natural definition does not agree with the concept of potential space defined via the potentials ${\left(L_{\alpha }\right)}^{-s}$. An appropriate Laguerre-Sobolev space is defined in order to achieve that coincidence. An application is given to the almost everywhere convergence of solutions of the Schrödinger equation. Other Laguerre operators are also considered.

We obtain weighted $L^p$ boundedness, with weights of the type $y^{\delta }$, δ > -1, for the maximal operator of the heat semigroup associated to the Laguerre functions, ${{ℒ}_k^{\alpha }}_k$, when the parameter α is greater than -1. It is proved that when -1 < α < 0, the maximal operator is of strong type (p,p) if p > 1 and 2(1+δ)/(2+α) < p < 2(1+δ)/(-α), and if α ≥ 0 it is of strong type for 1 < p ≤ ∞ and 2(1+δ)/(2+α) < p. The behavior at the end points of the intervals where there is strong type is studied...

We characterize geometric properties of Banach spaces in terms of boundedness of square functions associated to general Schrödinger operators of the form ℒ = -Δ + V, where the nonnegative potential V satisfies a reverse Hölder inequality. The main idea is to sharpen the well known localization method introduced by Z. Shen. Our results can be regarded as alternative proofs of the boundedness in H¹, $L^p$ and BMO of classical ℒ-square functions.

Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average $Aₙf\left(x\right)=2^{-n}{\int }_x^{x+2ⁿ}f$. The square function is defined as $Sf\left(x\right)=({\sum }_{n=-\infty }^{\infty }|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$. The local version of this operator, namely the operator $S₁f\left(x\right)=({\sum }_{n=-\infty }^0|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$, is of interest in ergodic theory and it has been extensively studied. In particular it has been proved [3] that it is of weak type (1,1), maps $L^p$ into itself (p > 1) and $L^{\infty }$ into BMO. We prove that the operator S not only maps $L^{\infty }$ into BMO but it also maps BMO into BMO. We also prove that the $L^p$ boundedness still holds...