On \(L^{p}\)-contractivity of Laguerre semigroups (Q384315): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Krzystztof Stempak / rank | |||
Property / author | |||
Property / author: Krzystztof Stempak / rank | |||
Normal rank | |||
Property / review text | |||
Let \((\mathcal{X},\mu)\) be a \(\sigma\)-finite measure space and assume that \(\mathcal{D}\) is a linear subspace of the space \(\mathcal{M}\) of all measurable functions on \(\mathcal{X}\) such that it contains all \(L^p:=L^p(\mathcal{X},\mu)\) spaces, \(p\in[1,\infty]\). A symmetric diffusion semigroup is a family of linear operators \(\{T_t\}_{t\in[0,\infty)}\), \(T_0:=\text{Id}\), mapping jointly \(\mathcal{D}\) into \(\mathcal{M}\), and satisfying: (i) for each \(p\in[1,\infty]\), every \(T_t\) is a contraction on \(L^p\) and \(\{T_t\}_{t\in[0,\infty)}\) is a semigroup there; (ii) each \(T_t\) is a self-adjoint operator in \(L^2\); (iii) for each \(f\in L^2\), \(\lim_{\to 0^+}T_tf=f\) in \(L^2\). A symmetric diffusion semigroup \(\{T_t\}_{t\in[0,\infty)}\) is called Markovian if it is positive and conservative, that is, satisfies additionally (iv) for each \(t\), \(T_tf\geq0\) if \(f\geq0\); (v) \(T_t1=1\) for all \(t\). Semigroups satisfying (i)--(iv) and (v') \(T_t1\leq1\) for all \(t\) replacing (v), are called submarkovian. Suppose that \(L\) is a positive self-adjoint operator on \(L^2\). The semigroup of operators \[ \{\exp(-tL)\}_{t\in[0,\infty)}, \] defined on \(L^2\) by means of the spectral theorem, is said to be an \(L^p\)-contractive semigroup if, for each \(p\in[1,\infty]\) and every \(t\in[0,\infty)\), one has \[ \|\exp(-tL)f\|_{L^p}\leq\|f\|_{L^p},\;f\in L^2\cap L^p. \] Let \(L^\alpha_{k}\) denote the Laguerre polynomial of degree \(k\in\mathbb{N}:=\{0,1,\dots\}\) and order \(\alpha\in(-1,\infty)\). The normalized Laguerre polynomial system, \(\{\hat{L}^\alpha_k: k\in\mathbb{N}\}\), is defined by \[ \hat{L}^\alpha_k(x):=\left(\frac{\Gamma(k+1)} {\Gamma(k+\alpha+1)}\right)^{1\over 2}L^\alpha_{k}(x),\;x\in(0,\infty); \] the standard Laguerre function system, \(\{\mathcal{L}^\alpha_k: k\in\mathbb{N}\}\), is defined by \[ \mathcal{L}^\alpha_k(x):=\hat{L}^\alpha_k(x)x^{\alpha/2}e^{-x/2},\;x\in(0,\infty). \] Let \(\{\varphi^\alpha_k: k\in\mathbb{N}\}\) be the Laguerre function system of Hermite type, which is defined by \(\varphi^\alpha_k(x):=\sqrt{2}\hat{L}^\alpha_k(x^2)x^{\alpha+1/2}e^{-x^2/2}\), \(x\in(0,\infty)\). The corresponding multi-dimensional systems are formed by taking tensor products. Let \(\alpha:=(\alpha_1,\dots,\alpha_d)\in[0,\infty)^d\) for some positive integer \(d\) and \(\mathbb{R}_+:=(0,\infty)\). The differential operator related to the system \(\{\mathcal{L}^\alpha_k: k\in\mathbb{N}^d\}\) is defined by \[ L^{\mathcal{L}}_\alpha:=-\sum_{i=1}^d\left(x_i\frac{\partial^2}{\partial x_i^2} +\frac{\partial}{\partial x_i}-\frac{x_i^2+\alpha_i^2}{4x_i}\right). \] The authors prove that \(\{T_t^{\alpha,\,\mathcal{L}}\}_{t\in[0,\infty)} :=\{\exp(-tL^{\mathcal{L}}_\alpha)\}_{t\in[0,\infty)}\) is an \(L^p(\mathbb{R}^d_+)\)-contractive submarkovian (but not Markovian) symmetric diffusion semigroup for all \(p\in[1,\infty]\). Precisely, for each \(p\in[1,\infty]\) and \(t\in(0,\infty)\), \(\|T_t^{\alpha,\,\mathcal{L}}\|_{L^p(\mathbb{R}^d_+)\to L^p(\mathbb{R}^d_+)} \leq(\cosh(t/2))^{-d}\). Moreover, let \(\alpha\in[-1/2,\infty)^d\). The differential operator related to the system \(\{\varphi^\alpha_k: k\in\mathbb{N}^d\}\) is defined by \(L^\varphi_\alpha:=-\Delta+|x|^2+\sum_{i=1}^d \frac1{x_i^2}(\alpha_i^2-\frac14)\). The authors show that, if \(\alpha\in(\{-1/2\}\cup[1/2,\infty))^d\), then \(\{T_t^{\alpha,\,\varphi}\}_{t\in[0,\infty)} :=\{\exp(-tL^{\varphi}_\alpha)\}_{t\in[0,\infty)}\) is an \(L^p(\mathbb{R}^d_+)\)-contractive submarkovian (but not Markovian) symmetric diffusion semigroup for all \(p\in[1,\infty]\) satisfying, for each \(p\in[1,\infty]\) and \(t\in(0,\infty)\), \[ \|T_t^{\alpha,\,\varphi}\|_{L^p(\mathbb{R}^d_+)\to L^p(\mathbb{R}^d_+)} \leq(\cosh(2t))^{-d/2}. \] If \(\alpha_i\in(-1/2,1/2)\) for some \(i\in\{1,\dots,d\}\), then \(\{T_t^{\alpha,\,\varphi}\}_{t\in[0,\infty)}\) is not an \(L^p(\mathbb{R}^d_+)\)-contractive semigroup for all \(p\in[1,\infty]\), but there exists a constant \(c=c(\alpha)\in(1,\infty)\) such that the above estimate holds true with the right-hand side multiplied by \(c\). The authors also study several other Laguerre semigroups and find sharp ranges of the type parameter \(\alpha\) for which these semigroups are contractive on all \(L^p\) spaces (\(p\in[1,\infty]\)). In the end, the authors study a similar question for Bessel semigroups. | |||
Property / review text: Let \((\mathcal{X},\mu)\) be a \(\sigma\)-finite measure space and assume that \(\mathcal{D}\) is a linear subspace of the space \(\mathcal{M}\) of all measurable functions on \(\mathcal{X}\) such that it contains all \(L^p:=L^p(\mathcal{X},\mu)\) spaces, \(p\in[1,\infty]\). A symmetric diffusion semigroup is a family of linear operators \(\{T_t\}_{t\in[0,\infty)}\), \(T_0:=\text{Id}\), mapping jointly \(\mathcal{D}\) into \(\mathcal{M}\), and satisfying: (i) for each \(p\in[1,\infty]\), every \(T_t\) is a contraction on \(L^p\) and \(\{T_t\}_{t\in[0,\infty)}\) is a semigroup there; (ii) each \(T_t\) is a self-adjoint operator in \(L^2\); (iii) for each \(f\in L^2\), \(\lim_{\to 0^+}T_tf=f\) in \(L^2\). A symmetric diffusion semigroup \(\{T_t\}_{t\in[0,\infty)}\) is called Markovian if it is positive and conservative, that is, satisfies additionally (iv) for each \(t\), \(T_tf\geq0\) if \(f\geq0\); (v) \(T_t1=1\) for all \(t\). Semigroups satisfying (i)--(iv) and (v') \(T_t1\leq1\) for all \(t\) replacing (v), are called submarkovian. Suppose that \(L\) is a positive self-adjoint operator on \(L^2\). The semigroup of operators \[ \{\exp(-tL)\}_{t\in[0,\infty)}, \] defined on \(L^2\) by means of the spectral theorem, is said to be an \(L^p\)-contractive semigroup if, for each \(p\in[1,\infty]\) and every \(t\in[0,\infty)\), one has \[ \|\exp(-tL)f\|_{L^p}\leq\|f\|_{L^p},\;f\in L^2\cap L^p. \] Let \(L^\alpha_{k}\) denote the Laguerre polynomial of degree \(k\in\mathbb{N}:=\{0,1,\dots\}\) and order \(\alpha\in(-1,\infty)\). The normalized Laguerre polynomial system, \(\{\hat{L}^\alpha_k: k\in\mathbb{N}\}\), is defined by \[ \hat{L}^\alpha_k(x):=\left(\frac{\Gamma(k+1)} {\Gamma(k+\alpha+1)}\right)^{1\over 2}L^\alpha_{k}(x),\;x\in(0,\infty); \] the standard Laguerre function system, \(\{\mathcal{L}^\alpha_k: k\in\mathbb{N}\}\), is defined by \[ \mathcal{L}^\alpha_k(x):=\hat{L}^\alpha_k(x)x^{\alpha/2}e^{-x/2},\;x\in(0,\infty). \] Let \(\{\varphi^\alpha_k: k\in\mathbb{N}\}\) be the Laguerre function system of Hermite type, which is defined by \(\varphi^\alpha_k(x):=\sqrt{2}\hat{L}^\alpha_k(x^2)x^{\alpha+1/2}e^{-x^2/2}\), \(x\in(0,\infty)\). The corresponding multi-dimensional systems are formed by taking tensor products. Let \(\alpha:=(\alpha_1,\dots,\alpha_d)\in[0,\infty)^d\) for some positive integer \(d\) and \(\mathbb{R}_+:=(0,\infty)\). The differential operator related to the system \(\{\mathcal{L}^\alpha_k: k\in\mathbb{N}^d\}\) is defined by \[ L^{\mathcal{L}}_\alpha:=-\sum_{i=1}^d\left(x_i\frac{\partial^2}{\partial x_i^2} +\frac{\partial}{\partial x_i}-\frac{x_i^2+\alpha_i^2}{4x_i}\right). \] The authors prove that \(\{T_t^{\alpha,\,\mathcal{L}}\}_{t\in[0,\infty)} :=\{\exp(-tL^{\mathcal{L}}_\alpha)\}_{t\in[0,\infty)}\) is an \(L^p(\mathbb{R}^d_+)\)-contractive submarkovian (but not Markovian) symmetric diffusion semigroup for all \(p\in[1,\infty]\). Precisely, for each \(p\in[1,\infty]\) and \(t\in(0,\infty)\), \(\|T_t^{\alpha,\,\mathcal{L}}\|_{L^p(\mathbb{R}^d_+)\to L^p(\mathbb{R}^d_+)} \leq(\cosh(t/2))^{-d}\). Moreover, let \(\alpha\in[-1/2,\infty)^d\). The differential operator related to the system \(\{\varphi^\alpha_k: k\in\mathbb{N}^d\}\) is defined by \(L^\varphi_\alpha:=-\Delta+|x|^2+\sum_{i=1}^d \frac1{x_i^2}(\alpha_i^2-\frac14)\). The authors show that, if \(\alpha\in(\{-1/2\}\cup[1/2,\infty))^d\), then \(\{T_t^{\alpha,\,\varphi}\}_{t\in[0,\infty)} :=\{\exp(-tL^{\varphi}_\alpha)\}_{t\in[0,\infty)}\) is an \(L^p(\mathbb{R}^d_+)\)-contractive submarkovian (but not Markovian) symmetric diffusion semigroup for all \(p\in[1,\infty]\) satisfying, for each \(p\in[1,\infty]\) and \(t\in(0,\infty)\), \[ \|T_t^{\alpha,\,\varphi}\|_{L^p(\mathbb{R}^d_+)\to L^p(\mathbb{R}^d_+)} \leq(\cosh(2t))^{-d/2}. \] If \(\alpha_i\in(-1/2,1/2)\) for some \(i\in\{1,\dots,d\}\), then \(\{T_t^{\alpha,\,\varphi}\}_{t\in[0,\infty)}\) is not an \(L^p(\mathbb{R}^d_+)\)-contractive semigroup for all \(p\in[1,\infty]\), but there exists a constant \(c=c(\alpha)\in(1,\infty)\) such that the above estimate holds true with the right-hand side multiplied by \(c\). The authors also study several other Laguerre semigroups and find sharp ranges of the type parameter \(\alpha\) for which these semigroups are contractive on all \(L^p\) spaces (\(p\in[1,\infty]\)). In the end, the authors study a similar question for Bessel semigroups. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47D03 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47G10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6233924 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Laguerre semigroup | |||
Property / zbMATH Keywords: Laguerre semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Bessel semigroup | |||
Property / zbMATH Keywords: Bessel semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
diffusion semigroup | |||
Property / zbMATH Keywords: diffusion semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Markovian semigroup | |||
Property / zbMATH Keywords: Markovian semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sub-Markovian semigroup | |||
Property / zbMATH Keywords: sub-Markovian semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
contractive semigroup | |||
Property / zbMATH Keywords: contractive semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Laguerre function system | |||
Property / zbMATH Keywords: Laguerre function system / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Da Chun Yang / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1011.5437 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3509393 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3023565 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mapping properties of fundamental operators in harmonic analysis related to Bessel operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted norm inequalities for heat-diffusion Laguerre's semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4284289 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Example in the Theory of Hypercontractive Semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On logarithmic Sobolev constant for diffusion semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3215519 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heat-diffusion maximal operators for Laguerre semigroups with negative parameters / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted norm estimates for the maximal operator of the Laguerre functions heat diffusion semigroup / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heat-diffusion and Poisson integrals for Laguerre and special Hermite expansions on weighted L<sup>p</sup>spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Riesz transforms for Laguerre expansions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak type ( 1 , 1 ) estimates for maximal operators associated with various multi-dimensional systems of Laguerre functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The multi-dimensional pencil phenomenon for Laguerre heat-diffusion maximal operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(L^2\)-theory of Riesz transforms for orthogonal expansions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riesz transforms and conjugacy for Laguerre function expansions of Hermite type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Riesz transforms for multi-dimensional Laguerre function expansions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3744481 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4066072 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heat-diffusion and Poisson integrals for Laguerre expansions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:14, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(L^{p}\)-contractivity of Laguerre semigroups |
scientific article |
Statements
On \(L^{p}\)-contractivity of Laguerre semigroups (English)
0 references
27 November 2013
0 references
Let \((\mathcal{X},\mu)\) be a \(\sigma\)-finite measure space and assume that \(\mathcal{D}\) is a linear subspace of the space \(\mathcal{M}\) of all measurable functions on \(\mathcal{X}\) such that it contains all \(L^p:=L^p(\mathcal{X},\mu)\) spaces, \(p\in[1,\infty]\). A symmetric diffusion semigroup is a family of linear operators \(\{T_t\}_{t\in[0,\infty)}\), \(T_0:=\text{Id}\), mapping jointly \(\mathcal{D}\) into \(\mathcal{M}\), and satisfying: (i) for each \(p\in[1,\infty]\), every \(T_t\) is a contraction on \(L^p\) and \(\{T_t\}_{t\in[0,\infty)}\) is a semigroup there; (ii) each \(T_t\) is a self-adjoint operator in \(L^2\); (iii) for each \(f\in L^2\), \(\lim_{\to 0^+}T_tf=f\) in \(L^2\). A symmetric diffusion semigroup \(\{T_t\}_{t\in[0,\infty)}\) is called Markovian if it is positive and conservative, that is, satisfies additionally (iv) for each \(t\), \(T_tf\geq0\) if \(f\geq0\); (v) \(T_t1=1\) for all \(t\). Semigroups satisfying (i)--(iv) and (v') \(T_t1\leq1\) for all \(t\) replacing (v), are called submarkovian. Suppose that \(L\) is a positive self-adjoint operator on \(L^2\). The semigroup of operators \[ \{\exp(-tL)\}_{t\in[0,\infty)}, \] defined on \(L^2\) by means of the spectral theorem, is said to be an \(L^p\)-contractive semigroup if, for each \(p\in[1,\infty]\) and every \(t\in[0,\infty)\), one has \[ \|\exp(-tL)f\|_{L^p}\leq\|f\|_{L^p},\;f\in L^2\cap L^p. \] Let \(L^\alpha_{k}\) denote the Laguerre polynomial of degree \(k\in\mathbb{N}:=\{0,1,\dots\}\) and order \(\alpha\in(-1,\infty)\). The normalized Laguerre polynomial system, \(\{\hat{L}^\alpha_k: k\in\mathbb{N}\}\), is defined by \[ \hat{L}^\alpha_k(x):=\left(\frac{\Gamma(k+1)} {\Gamma(k+\alpha+1)}\right)^{1\over 2}L^\alpha_{k}(x),\;x\in(0,\infty); \] the standard Laguerre function system, \(\{\mathcal{L}^\alpha_k: k\in\mathbb{N}\}\), is defined by \[ \mathcal{L}^\alpha_k(x):=\hat{L}^\alpha_k(x)x^{\alpha/2}e^{-x/2},\;x\in(0,\infty). \] Let \(\{\varphi^\alpha_k: k\in\mathbb{N}\}\) be the Laguerre function system of Hermite type, which is defined by \(\varphi^\alpha_k(x):=\sqrt{2}\hat{L}^\alpha_k(x^2)x^{\alpha+1/2}e^{-x^2/2}\), \(x\in(0,\infty)\). The corresponding multi-dimensional systems are formed by taking tensor products. Let \(\alpha:=(\alpha_1,\dots,\alpha_d)\in[0,\infty)^d\) for some positive integer \(d\) and \(\mathbb{R}_+:=(0,\infty)\). The differential operator related to the system \(\{\mathcal{L}^\alpha_k: k\in\mathbb{N}^d\}\) is defined by \[ L^{\mathcal{L}}_\alpha:=-\sum_{i=1}^d\left(x_i\frac{\partial^2}{\partial x_i^2} +\frac{\partial}{\partial x_i}-\frac{x_i^2+\alpha_i^2}{4x_i}\right). \] The authors prove that \(\{T_t^{\alpha,\,\mathcal{L}}\}_{t\in[0,\infty)} :=\{\exp(-tL^{\mathcal{L}}_\alpha)\}_{t\in[0,\infty)}\) is an \(L^p(\mathbb{R}^d_+)\)-contractive submarkovian (but not Markovian) symmetric diffusion semigroup for all \(p\in[1,\infty]\). Precisely, for each \(p\in[1,\infty]\) and \(t\in(0,\infty)\), \(\|T_t^{\alpha,\,\mathcal{L}}\|_{L^p(\mathbb{R}^d_+)\to L^p(\mathbb{R}^d_+)} \leq(\cosh(t/2))^{-d}\). Moreover, let \(\alpha\in[-1/2,\infty)^d\). The differential operator related to the system \(\{\varphi^\alpha_k: k\in\mathbb{N}^d\}\) is defined by \(L^\varphi_\alpha:=-\Delta+|x|^2+\sum_{i=1}^d \frac1{x_i^2}(\alpha_i^2-\frac14)\). The authors show that, if \(\alpha\in(\{-1/2\}\cup[1/2,\infty))^d\), then \(\{T_t^{\alpha,\,\varphi}\}_{t\in[0,\infty)} :=\{\exp(-tL^{\varphi}_\alpha)\}_{t\in[0,\infty)}\) is an \(L^p(\mathbb{R}^d_+)\)-contractive submarkovian (but not Markovian) symmetric diffusion semigroup for all \(p\in[1,\infty]\) satisfying, for each \(p\in[1,\infty]\) and \(t\in(0,\infty)\), \[ \|T_t^{\alpha,\,\varphi}\|_{L^p(\mathbb{R}^d_+)\to L^p(\mathbb{R}^d_+)} \leq(\cosh(2t))^{-d/2}. \] If \(\alpha_i\in(-1/2,1/2)\) for some \(i\in\{1,\dots,d\}\), then \(\{T_t^{\alpha,\,\varphi}\}_{t\in[0,\infty)}\) is not an \(L^p(\mathbb{R}^d_+)\)-contractive semigroup for all \(p\in[1,\infty]\), but there exists a constant \(c=c(\alpha)\in(1,\infty)\) such that the above estimate holds true with the right-hand side multiplied by \(c\). The authors also study several other Laguerre semigroups and find sharp ranges of the type parameter \(\alpha\) for which these semigroups are contractive on all \(L^p\) spaces (\(p\in[1,\infty]\)). In the end, the authors study a similar question for Bessel semigroups.
0 references
Laguerre semigroup
0 references
Bessel semigroup
0 references
diffusion semigroup
0 references
Markovian semigroup
0 references
sub-Markovian semigroup
0 references
contractive semigroup
0 references
Laguerre function system
0 references
0 references
0 references
0 references