I am trying to prove the following: Let $w$ be an admissible weight, $p_1,p_2\in[1,\infty)$, $\alpha_1,\alpha_2\in\mathbb{R}$, $\theta\in(0,1)$ and \begin{equation} \alpha=\theta\,\alpha_1+(1-\theta)\,\alpha_2, ~~~ \frac{1}{p} = \frac{\theta}{p_1} + \frac{1-\theta}{p_2}. \end{equation} There exists $C\in(0,\infty)$ such that for all $f\in L^{{\alpha}_1}_{p_1}(\mathbb{R}^d,w^{{1/p}_1})\cap L^{{\alpha}_2}_{p_2}(\mathbb{R}^d,w^{{1/p}_2})$ it holds \begin{equation}\label{1} \|f\|_{L^\alpha_p(\mathbb{R}^d,w^{1/p})} \leq C\,\|f\|^\theta_{L^{\alpha_1}_{p_1}(\mathbb{R}^d,w^{1/p_1})}\, \|f\|^{1-\theta}_{L^{\alpha_2}_{p_2}(\mathbb{R}^d,w^{1/p_2})}\,, \end{equation} where $\|f\|_{L_p^\alpha(\mathbb{R}^d,w)}$ is the weighted Bessel potential of order $\alpha$ with the following Definition: The weighted Bessel potential space $L^\alpha_p(\mathbb{R}^d,w)$ is the Banach space with the norm \begin{equation} \|f\|_{L^\alpha_p(\mathbb{R}^d,w)} := \|(1-\Delta)^{\alpha/2}f\|_{L_p(\mathbb{R}^d,w)}\, \end{equation} such that the norms $\|\cdot\|_{L^\alpha_p(\mathbb{R}^d,w)}$ and $\|w\cdot\|_{L^\alpha_p(\mathbb{R}^d)}$ are equivalent. Moreover, we define for $s\in \mathbb{R}$, the Bessel potential of order $s$ to be the (sequentially) continuous bijective linear operator $\mathbb{J}: S\to S$ by \begin{equation} (1-\Delta)^{s/2}:=\mathbb{J}^{s} u = F^{-1}(1+|\cdot|^2)^{s/2}F u\,. \end{equation} Using the above one has \begin{equation} \mathbb{J}^{s+t} = \mathbb{J}^{s}\mathbb{J}^{t}\,. \end{equation} The above interpolation inequality is known for Besov spaces and Triebel-Lizorkin spaces using section 1.6.7. on page 44 of H. Triebel, Theory of Function Spaces II, (1992).But, I would like to have it for the the weighted bessel potential space $L^{\alpha}_{p}(\mathbb{R}^d,w)$. The following is my idea: \begin{equation} \|f\|^p_{L^\alpha_p(\mathbb{R}^d,w^{1/p})} = \|w^{1/p}(1-\Delta)^{{\alpha}/2} f\|^p_{L_p(\mathbb{R}^d)} = \int_{\mathbb{R}^d} |w(x)^{1/p} (1-\Delta)^{\frac{\alpha}{2}} f(x)|^p dx \end{equation} Using $p = \theta p + (1-\theta) p$, $ \alpha=\theta\,\alpha_1+(1-\theta)\,\alpha_2$ yields \begin{equation} \|f\|^p_{L^\alpha_p(\mathbb{R}^d,w^{1/p})} = \int_{\mathbb{R}^d} |w(x) (1-\Delta)^{\frac{{\alpha}_1}{2} \theta p} f^{\theta p}(x) (1-\Delta)^{\frac{{\alpha}_2}{2} (1-\theta)p} f^{(1-\theta)p}(x) |dx\,. \end{equation} By assumption $1 = \frac{\theta p}{p_1} + \frac{1-\theta p}{p_2}$. Hence, \begin{equation} \|f\|^p_{L^\alpha_p(\mathbb{R}^d,w^{1/p})} \leq C \int_{\mathbb{R}^d}|w(x)^{\frac{\theta p}{p_1}} (1-\Delta)^{\frac{{\alpha}_1}{2} \theta p} f^{\theta p}(x)|\,dx \int_{\mathbb{R}^d} | w(x)^{\frac{1-\theta}{p_2}p}(1-\Delta)^{\frac{{\alpha}_2}{2} (1-\theta)p} f^{(1-\theta)p}(x)| dx, \end{equation} where $C$ only depends on the weight $w(x)$ (In particular, I used the fact that for every $b\in\mathbb{N}^d$ there exists $C\in(0,\infty)$ such that $|\partial^b w (x)|\leq C\, w(x)$ for all $x\in\mathbb{R}^d$). Now, by the Holder inequality one has \begin{equation} \|f\|^p_{L^\alpha_p(\mathbb{R}^d,w^{1/p})} \leq C \Big[ \int_{\mathbb{R}^d}|w(x)(1-\Delta)^{\frac{{\alpha}_1}{2} p_1} f^{p_1}(x)|\Big]^{\frac{\theta p}{p_1}} \int_{\mathbb{R}^d} | w(x)(1-\Delta)^{\frac{{\alpha}_2}{2}p_2} f^{p_2}(x)|^{\frac{1-\theta}{p_2}p} dx \end{equation} It holds, \begin{equation} \|f\|_{L^\alpha_p(\mathbb{R}^d,w^{1/p})} \leq C\,\|f\|^\theta_{L^{\alpha_1}_{p_1}(\mathbb{R}^d,w^{1/p_1})}\, \|f\|^{1-\theta}_{L^{\alpha_2}_{p_2}(\mathbb{R}^d,w^{1/p_2})}\,. \end{equation} It seems ok as far as $\alpha$ is integer but for non-integer values I think there might be a problem. Any idea is welcome and thank you in advance.
2026-03-26 07:44:14.1774511054
How to verify ihe Interpolation inequality for the weighted Bessel potential spaces?
43 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in INTERPOLATION
- Almost locality of cubic spline interpolation
- Reverse Riesz-Thorin inequality
- How to construct a B-spline from nodal point in Matlab?
- Show that there is a unique polynomial of degree at most $2n+1$ such that $q^{[k]}(x_1)=a_k,$ $q^{[k]}(x_2)=b_k$ for $k=0, \dots, n$.
- Show that there is a unique polynomial of degree at most $2k+1$ such that $p^{[j]}(x_1)=a_j \text{ and } p^{[j]}(x_2)=b_j \text{ for } j=0,\dots, k.$
- How to find x intercept for a polynomial regression curve(order 7)
- Quadrature rules estimation
- How to obtain generalized barycentric coordinates for n-sided polygon?
- the highest degree of the polynomial, for which the above formula is exact?
- Interpolation method that gives the least arc lenght of the curve.
Related Questions in HOLDER-INEQUALITY
- $f\in L_{p_1}\cap L_{p_2}$ implies $f\in L_{p}$ for all $p\in (p_1,p_2)$
- Elementary use of Hölder inequality
- Understanding notation for Holder's inequality with the counting measure
- Prove $L^{p_\theta }(X)\subset L^{p_0}(X)+L^{p_1}(X),$ where $\frac{1}{p_\theta }:=\frac{1-\theta }{p_0}+\frac{\theta }{p_1}.$
- Inequality $(w_1^{1/p}|x|)w_1^{1/q}+(w_2^{1/p}|y|)w_2^{1/q} \leq (w_1|x|^p+w_2|y|^p)^{1/p}(w_1+w_2)^{1/q}$?
- Is this proof valid - Holder's inequality
- Minkowski's and Holder's inequality confusion
- Why is the Cauchy Schwarz inequality a special case of Holder's inequality?
- maximum value of $a^2b$ condition is given
- Bump function inequality
Related Questions in POTENTIAL-THEORY
- Clarification for definition of admissible: $\Delta\in (K)$
- Formula for equilibrium measure on [-1,1] for various kernels?
- Showing that a function is harmonic
- logarithmic potential gives out a constant integral over an absolutely continuous measure
- Harmonic functions, equivalence of boundary conditions with phenomena outside domain.
- $W^{2,p}$ estimates for Newtonian potential
- Show that the complex potential is $w(z)=k\ln(z)$
- Functional inequality on $\mathbb{Z}^d$
- Potentials for Vector Fields on a Circle
- Differentiating the single-layer potential
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?