For each $f\in L^p(ℝ)$ ($1\le p<\infty$) it is shown that the Fourier transform is the distributional derivative of a Hölder continuous function. For each $p$, a norm is defined so that the space of Fourier transforms is isometrically isomorphic to $L^p(ℝ)$. There is an exchange theorem and inversion in norm.

We determine the norm in $L^p\left(ℝ₊\right)$, 1 < p < ∞, of the operator $I-{ℱ}_s{ℱ}_c$, where ${ℱ}_c$ and ${ℱ}_s$ are respectively the cosine and sine Fourier transforms on the positive real axis, and I is the identity operator. This solves a problem posed in 1984 by M. S. Birman [Bir] which originated in scattering theory for unbounded obstacles in the plane. We also obtain the $L^p$-norms of the operators aI + bH, where H is the Hilbert transform (conjugate function operator) on the circle or real line, for arbitrary real...

For a Lebesgue integrable complex-valued function $f$ defined on ${ℝ}^{+}:=[0,\infty )$ let $\widehat{f}$ be its Walsh-Fourier transform. The Riemann-Lebesgue lemma says that $\widehat{f}\left(y\right)\to 0$ as $y\to \infty$. But in general, there is no definite rate at which the Walsh-Fourier transform tends to zero. In fact, the Walsh-Fourier transform of an integrable function can tend to zero as slowly as we wish. Therefore, it is interesting to know for functions of which subclasses of $L^1\left({ℝ}^{+}\right)$ there is a definite rate at which the Walsh-Fourier transform tends...

We examine the regularity of solutions to the Stokes system in a neighbourhood of the distinguished axis under the assumptions that the initial velocity v₀ and the external force f belong to some weighted Sobolev spaces. It is assumed that the weight is the (-μ )th power of the distance to the axis. Let $f\in L_{2,-\mu }$, $v₀\in H_{-\mu }¹$, μ ∈ (0,1). We prove an estimate of the velocity in the $H_{-\mu }^{2,1}$ norm and of the gradient of the pressure in the norm of $L_{2,-\mu }$. We apply the Fourier transform with respect to the variable along...

Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

For $1\le n<d$ integers and $\rho >2$, we prove that an $n$-dimensional Ahlfors-David regular measure $\mu$ in ${ℝ}^d$ is uniformly $n$-rectifiable if and only if the $\rho$-variation for the Riesz transform with respect to $\mu$ is a bounded operator in $L^2\left(\mu \right)$. This result can be considered as a partial solution to a well known open problem posed by G. David and S. Semmes which relates the $L^2\left(\mu \right)$ boundedness of the Riesz transform to the uniform rectifiability of $\mu$.

Let G be a semisimple Lie group with Iwasawa decomposition G = KAN. Let X = G/K be the associated symmetric space and assume that X is of rank one. Let M be the centraliser of A in K and consider an orthonormal basis $Y_{\delta ,j}:\delta \in K̂₀,1\le j\le d_{\delta }$ of L²(K/M) consisting of K-finite functions of type δ on K/M. For a function f on X let f̃(λ,b), λ ∈ ℂ, be the Helgason Fourier transform. Let $h_t$ be the heat kernel associated to the Laplace-Beltrami operator and let $Q_{\delta }(i\lambda +\varrho )$ be the Kostant polynomials. We establish the following...

Let $\mathrm{\Delta }$ be thick affine building of type ${\tilde{G}}_2$ the Laplace operators of $\mathrm{\Delta }$; associated with a pair $(y_1,y_2)$; is the Poisson transform of a suitable finitely additive measure on the maximal boundary $\mathrm{\Omega }$ of $\mathrm{\Delta }$; by using only the combinatorial structure of $\mathrm{\Delta }$.

We establish the following sharp local estimate for the family ${R_j}_{j=1}^d$ of Riesz transforms on ${ℝ}^d$. For any Borel subset A of ${ℝ}^d$ and any function $f:{ℝ}^d\to ℝ$, ${\int }_A|R_{j}f\left(x\right)|dx\le C_p{\left|\right|f\left|\right|}_{L^p\left({ℝ}^d\right)}{\left|A\right|}^{1/q}$, 1 < p < ∞. Here q = p/(p-1) is the harmonic conjugate to p, $C_p={[2^{q+2}\Gamma (q+1)/{\pi }^{q+1}{\sum }_{k=0}^{\infty }{(-1)}^k/{(2k+1)}^{q+1}]}^{1/q}$, 1 < p < 2, and $C_p={[4\Gamma (q+1)/{\pi }^q{\sum }_{k=0}^{\infty }1/{(2k+1)}^q]}^{1/q}$, 2 ≤ p < ∞. This enables us to determine the precise values of the weak-type constants for Riesz transforms for 1 < p < ∞. The proof rests on appropriate martingale inequalities, which are of independent interest.

Recently it was proved for 1 < p < ∞ that ${\omega }^m{(f,t)}_p$, a modulus of smoothness on the unit sphere, and $K̃ₘ{(f,t^m)}_p$, a K-functional involving the Laplace-Beltrami operator, are equivalent. It will be shown that the range 1 < p < ∞ is optimal; that is, the equivalence ${\omega }^m{(f,t)}_p\approx K̃ₘ{(f,t^r)}_p$ does not hold either for p = ∞ or for p = 1.

We compute the Hilbert series of the complex Grassmannian using invariant theoretic methods. This is made possible by showing that the denominator of the $q$-Hilbert series is a Vandermonde-like determinant. We show that the $h$-polynomial of the Grassmannian coincides with the $k$-Narayana polynomial. A simplified formula for the $h$-polynomial of Schubert varieties is given. Finally, we use a generalized hypergeometric Euler transform to find simplified formulae for the $k$-Narayana numbers,...

In the earlier paper [Proc. Amer. Math. Soc. 135 (2007)], we studied solutions g: ℕ → ℂ to convolution equations of the form $a_d\ast g^{\ast d}+a_{d-1}\ast g^{\ast (d-1)}+\cdots +a₁\ast g+a₀=0$, where $a₀,...,a_d:\mathbb{N}\to ℂ$ are given arithmetic functions associated with Dirichlet series which converge on some right half plane, and also g is required to be such a function. In this article, we extend our previous results to multidimensional general Dirichlet series of the form ${\sum }_{x\in X}f\left(x\right)e^{-sx}$ ($s\in {ℂ}^k$), where $X\subseteq {[0,\infty )}^k$ is an additive subsemigroup. If X is discrete and a certain solvability criterion...

The maximal operator S⁎ for the spherical summation operator (or disc multiplier) $S_R$ associated with the Jacobi transform through the defining relation $\widehat{S_{R}f}\left(\lambda \right)=1_{\left|\lambda \right|\le R}f̂\left(t\right)$ for a function f on ℝ is shown to be bounded from $L^p(ℝ₊,d\mu )$ into $L^p(ℝ,d\mu )+L²(ℝ,d\mu )$ for (4α + 4)/(2α + 3) < p ≤ 2. Moreover S⁎ is bounded from $L^{p₀,1}(ℝ₊,d\mu )$ into $L^{p₀,\infty }(ℝ,d\mu )+L²(ℝ,d\mu )$. In particular ${S_{R}f\left(t\right)}_{R>0}$ converges almost everywhere towards f, for $f\in L^p(ℝ₊,d\mu )$, whenever (4α + 4)/(2α + 3) < p ≤ 2.

Given a distribution $T$ on the sphere we define, in analogy to the work of Łojasiewicz, the value of $T$ at a point $\xi$ of the sphere and we show that if $T$ has the value $\tau$ at $\xi$, then the Fourier-Laplace series of $T$ at $\xi$ is Abel-summable to $\tau$.

The harmonic Cesàro operator is defined for a function f in $L^p\left(ℝ\right)$ for some 1 ≤ p < ∞ by setting $\left(f\right)\left(x\right):={\int }_x^{\infty }(f\left(u\right)/u)du$ for x > 0 and $\left(f\right)\left(x\right):=-{\int }_{-\infty }^x(f\left(u\right)/u)du$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L{¹}_{loc}\left(ℝ\right)$ by setting $*\left(f\right)\left(x\right):=(1/x){\int }^{x₀}f\left(u\right)du$ for x ≠ 0. The notation indicates that ℂ and ℂ* are adjoint operators in a certain sense. We present rigorous proofs of the following two commuting relations: (i) If $f\in L^p\left(ℝ\right)$ for some 1 ≤ p ≤ 2, then ${\left(\left(f\right)\right)}^{\wedge }\left(t\right)=*\left(f̂\right)\left(t\right)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f\in L^p\left(ℝ\right)$ for some 1 < p ≤ 2, then...

We collect and extend results on the limit of ${\sigma }^{1-k}{(1-\sigma )}^k{\left|v\right|}_{l+\sigma ,p,\Omega }^p$ as σ → 0⁺ or σ → 1¯, where Ω is ℝⁿ or a smooth bounded domain, k ∈ 0,1, l ∈ ℕ, p ∈ [1,∞), and ${\left|·\right|}_{l+\sigma ,p,\Omega }$ is the intrinsic seminorm of order l+σ in the Sobolev space $W^{l+\sigma ,p}\left(\Omega \right)$. In general, the above limit is equal to $c{\left[v\right]}^p$, where c and [·] are, respectively, a constant and a seminorm that we explicitly provide. The particular case p = 2 for Ω = ℝⁿ is also examined and the results are then proved by using the Fourier transform.

Extending previous work by Meise and Vogt, we characterize those convolution operators, defined on the space ${}_{\left(\omega \right)}\left(ℝ\right)$ of (ω)-quasianalytic functions of Beurling type of one variable, which admit a continuous linear right inverse. Also, we characterize those (ω)-ultradifferential operators which admit a continuous linear right inverse on ${}_{\left(\omega \right)}[a,b]$ for each compact interval [a,b] and we show that this property is in fact weaker than the existence of a continuous linear right inverse on ${}_{\left(\omega \right)}\left(ℝ\right)$.

Let $G$ be a compact group, let $n\in N\setminus \{0,1\}$ be a fixed element and let $\sigma$ be a continuous automorphism on $G$ such that ${\sigma }^n=I$. Using the non-abelian Fourier transform, we determine the non-zero continuous solutions $f:G\to C$ of the functional equation $$f\left(xy\right)+\sum _{k=1}^{n-1}f\left({\sigma }^k\left(y\right)x\right)=nf\left(x\right)f\left(y\right),x,y\in G,$$ in terms of unitary characters of $G$.

Let ${\left(U_t\right)}_{t\ge 0}$ be a Brownian motion valued in the complex projective space $ℂP^{N-1}$. Using unitary spherical harmonics of homogeneous degree zero, we derive the densities of $|U_t^1{|}^2$ and of $\left(\right|U_t^1{|}^2,\left|U_t^2{|}^2\right)$, and express them through Jacobi polynomials in the simplices of $ℝ$ and ${ℝ}^2$ respectively. More generally, the distribution of $\left(\right|U_t^1{|}^2,\cdots ,\left|U_t^k{|}^2\right),2\le k\le N-1$ may be derived using the decomposition of the unitary spherical harmonics under the action of the unitary group $𝒰(N-k+1)$ yet computations become tedious. We also revisit the approach initiated in [] and...

Abstract We develop an almost orthogonal wavelet-type expansion in ℝ² which is adapted to polar coordinates. We start by defining a product Fourier-Hankel transform f̂ and proving a sampling formula for f such that f̂ is compactly supported. For general f, the sampling formula and a partition of unity lead to an identity of the form $f={\sum }_{\mu ,k,m}⟨f,{\phi }_{\mu km}⟩{\psi }_{\mu km}$, in which each function ${\phi }_{\mu km}$ and ${\psi }_{\mu km}$ is concentrated near a certain annular sector, has compactly supported product Fourier-Hankel transform, and is smooth...

We study a conditional Fourier-Feynman transform (CFFT) of functionals on an abstract Wiener space $(H,B,\nu )$. An infinite dimensional conditioning function is used to define the CFFT. To do this, we first present a short survey of the conditional Wiener integral concerning the topic of this paper. We then establish evaluation formulas for the conditional Wiener integral on the abstract Wiener space $B$. Using the evaluation formula, we next provide explicit formulas for CFFTs of functionals in...

The semilinear differential equation (1), (2), (3), in $ℝ\times \mathrm{\Omega }$ with $\mathrm{\Omega }\in {ℝ}^N$, (a nonlinear wave equation) is studied. In particular for $\mathrm{\Omega }={ℝ}^3$, the existence is shown of a weak solution $u(t,x)$, periodic with period $T$, non-constant with respect to $t$, and radially symmetric in the spatial variables, that is of the form $u(t,x)=\nu (t,|x|)$. The proof is based on a distributional interpretation for a linear equation corresponding to the given problem, on the Paley-Wiener criterion for the Laplace Transform, and on the alternative...

The $q$-derivative operator approach is illustrated by reviewing several typical summation formulae of terminating basic hypergeometric series.

We extend a result of the second author [27, Theorem 1.1] to dimensions $d\ge 3$ which relates the size of $L^p$-norms of eigenfunctions for $2<p<2(d+1)/d-1$ to the amount of $L^2$-mass in shrinking tubes about unit-length geodesics. The proof uses bilinear oscillatory integral estimates of Lee [22] and a variable coefficient variant of an "$ϵ$ removal lemma" of Tao and Vargas [35]. We also use Hörmander’s [20] $L^2$ oscillatory integral theorem and the Cartan–Hadamard theorem to show that, under the assumption of nonpositive...

We prove an interpolatory estimate linking the directional Haar projection $P^{\left(\epsilon \right)}$ to the Riesz transform in the context of Bochner-Lebesgue spaces $L^p(ℝⁿ;X)$, 1 < p < ∞, provided X is a UMD-space. If ${\epsilon }_{i₀}=1$, the result is the inequality $\left|\right|P^{\left(\epsilon \right)}{u\left|\right|}_{L^p(ℝⁿ;X)}{\le C\left|\right|u\left|\right|}_{L^p(ℝⁿ;X)}^{1/}\left|\right|R_{i₀}u{\left|\right|}_{L^p(ℝⁿ;X)}^{1-1/}$, (1) where the constant C depends only on n, p, the UMD-constant of X and the Rademacher type of $L^p(ℝⁿ;X)$. In order to obtain the interpolatory result (1) we analyze stripe operators $S_{\lambda }$, λ ≥ 0, which are used as basic building blocks to dominate the directional Haar projection....