All Questions
Tagged with ap.analysis-of-pdes inequalities
85 questions
2
votes
0
answers
103
views
A question from a proof of an inequality in Sobolev space $W^{1,1}$
I try to understand the proof the lemma given at page 54 in Ladyzhenskaya et al (1968) - Linear and Quasilinear Elliptic Equations. Here it is a screenshot:
Here is what I did:
$$-u(x)=u(y)-u(x)=\...
- 1,759
1
vote
0
answers
37
views
Inequality for function on Spinor bundle
I have a function $H(x,\psi)$ defined on the spinor bundle $\mathbb{S}$ with $H_\psi$ being the continuous derivative in fiber direction having the following properties:
(H-1) There exists $0<\...
- 11
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 537
2
votes
0
answers
114
views
Poincare inequality on the hemisphere
Background:
Let $\mathbb{S}^2_+$ be the hemisphere. Then we know that for $f:\mathbb{S}^2_+\to \mathbb{R}$ satisfying (when written in coordinates) $\int_{0}^{2\pi}\int_{0}^{\pi/2}f(r,\theta)\sin(r)dr ...
- 537
1
vote
0
answers
141
views
$L^{p}$ estimate for $\frac{|\nabla f|^{2}}{f}$
I’m trying to obtain an $L^{p}$ estimate under certain conditions. Suppose $f\in C^{2}(B_{2})$ is a function satisfying $0<f<1$ and $f\Delta f>\frac{1}{n} |\nabla f|^{2}$, where $B_{2}\subset\...
- 155
2
votes
1
answer
620
views
On norm of the Sobolev space $H^2(\Omega)$, $\Omega \subset \mathbb{R}^n; n \geq 2$
Let the Sobolev space $H^2(\Omega)$ be defined with the norm $\|u\|_{H^2(\Omega)}=\Big(\sum_{|\alpha|\leq 2})\|D^{\alpha}u\|^2_{L^2(\Omega)}\Big)^\frac{1}{2}$.
I have found in several research ...
- 101
4
votes
2
answers
781
views
Is there any bilinear Poincaré/Sobolev inequality?
Is the following, I call it bilinear Poincaré inequality, true?
Let $\Omega$ be an open bounded set in $\mathbf R^n\DeclareMathOperator{\dL}{d\!}$. There exists $C > 0$ such that for any $u, v \in ...
- 185
1
vote
0
answers
47
views
Question on a mixed-norm estimate
I am currently reading the paper Global existence and scattering for rough solutions to generalized nonlinear Schrödinger equations on $\mathbb{R}$ by Colliander, Holmer, Visan, Zhang. In this article,...
- 840
8
votes
1
answer
313
views
Lower bound $\int_0^1 \frac{|f'(x)|^2}{f} \,\mathrm{d} x$ by $\int_0^1 |f-1|^2\, \mathrm{d} x$
Assume that $f$ is a probability density on $x \in (0,1)$, I want to obtain a bound of the following form (if it is possible at all): $$ \int_0^1 \frac{|f'|^2}{f} \,\mathrm{d} x \geq C\,\int_0^1 |f-1|^...
- 730
0
votes
0
answers
34
views
Inequalities for generalized variance
Let $(X, \mu)$ be a measured space with $\mu(X) = 1$.
Given $\phi \in L^\infty(X, \mu)$, $\phi > 0$, let me define, for $\alpha \geq 1$, $\beta > 0$, the quantity
$$
I(\alpha, \beta) = \left(\...
- 1,263
4
votes
0
answers
179
views
Approximation by gaussian mollification in Sobolev spaces
I have been trying to find a good estimate on the constant in the inequality (in dimension $d=3$ to simplify)
$$\label{0}\tag{0}
\|(1-e^{t\Delta})f\|_{L^{5/3}(\Bbb R^3)} \leq C_0\,t^{2/5}\, \|\nabla \...
- 230
6
votes
2
answers
589
views
Doubts in first lemma in the paper of Adams regarding sharp Moser inequality
This question is on a point in D.R. Adams paper "A Sharp Inequality of J. Moser for Higher Order Derivatives". Precisely the lemma says:
Given $a(s,t)$ be a non negative measureable function ...
- 337
0
votes
0
answers
78
views
Gagliardo-Nirenberg type inequality for fractional relativistic Laplacian operator?
In [1], authors note that by the seminal approach of M. Weinstein in [2] and [3], there is a non-trivial solution $Q\in H^s(\mathbb{R})$ which optimizes next Gagliardo-Nirenberg type inequality:
$$\...
1
vote
1
answer
158
views
How do I integrate this inequality that appears in a paper of Rabinowitz?
Sorry if this is too easy for MO, but I found it in a research paper, so I thought that it was worth posting here.
I was reading a paper by Rabinowitz(this one to be more precise) and I came across ...
- 113
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
2
votes
0
answers
117
views
Bounding integral expression with BV norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
3
votes
2
answers
210
views
Bounding integral expression with total variation of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{(g(x)-g(y))(x-y)}{|x-y|^{3}} d x d y $$
for $\epsilon>0$, $f \in L^\infty(\mathbb R)$,...
user139844
0
votes
1
answer
136
views
An inequality involving weight $|x|^\alpha$
Background:
Let $u:\mathbb{R}^n\to \mathbb{R}$. Then the paper considers the following problem
\begin{align*}
-\operatorname{div}(w(x) \nabla u) &= w(x) \text{ in } \Omega \\
...
- 537
2
votes
0
answers
149
views
An oscillatory integral
Let $s>0, v\in \mathbb{R}^d, w\in \mathbb{R}, |w|\leq 1$. Pick a cut-off function $B(0,1)\prec \eta \prec B(0,2)$ and a large real number $N$. Do we have the following type of estimates?
\begin{...
- 351
0
votes
1
answer
413
views
What functions are equal to their symmetric decreasing rearrangement?
I am trying to understand the set
$$\mathcal{A}=\{f:f\text{ non-negative, measurable}, \text{vanishes at infinity and } f(x)=f^*(x)\}$$
where $f:\mathbb{R}^n\to \mathbb{R}$ is vanishing at infinity if ...
- 537
2
votes
1
answer
310
views
A kind of Gagliardo-Nirenberg inequality proof
Could any one give a proof for this inequility here? I just know its some kind of Gagliardo-Nirenberg inequility, but where does the second term come from? Thx~
$$
\int_{B_r}|u|^q\le C\left(\int_{B_r}|...
- 65
1
vote
1
answer
146
views
Extremizers of the Sobolev inequality
Background:
I am reading the paper: Best constant in Sobolev inequality by Talenti (see here) and I am trying to understand the following step.
On p. 365, the author is arguing that the solutions to ...
- 537
0
votes
0
answers
148
views
A Grönwall-type inequality for $u(t)\le\alpha(t)+\int_0^t\max(u(s),\beta(s))\:{\rm d}s$?
Quick question: Are we able to show a Gronwall-type inequality assuming that $$u(t)\le\alpha(t)+\int_0^t\max(u(s),\beta(s))\:{\rm d}s,$$ where $\alpha$ is nondecreasing (or constant) and $\beta$ is ...
- 167
0
votes
0
answers
60
views
How to prove this estimate involving the Stein Derivative?
Recall the Stein Derivative,
$$\mathcal{D}^{s} f(x)=\left(\int \frac{|f(x)-f(y)|^{2}}{|x-y|^{n+2 s}} d y\right)^{1 / 2}.$$
I want to show that,
$$\left\|\mathcal{D}^{s}(f g)\right\|_{2} \leq\left\|f \...
- 537
3
votes
1
answer
585
views
Does the following version of the Coifman–Meyer Theorem exist?
Recall the Coifman–Meyer Theorem as stated in Grafakos and Oh - The Kato-Ponce Inequality.
Theorem: Let $m \in L^{\infty}\left(\mathbf{R}^{2 n}\right)$ be smooth away from the origin and satisfy
$$
\...
- 537
2
votes
0
answers
73
views
Question about Gidas-Ni-Nirenberg result
Background:
So I know that the Euler Lagrange equation associated with the Sobolev inequality takes the following form,
$$-\Delta u = u^p$$
where $p=2^*-1$ and here we assume that $u>0$ on $\mathbb{...
- 537
2
votes
1
answer
136
views
Does higher volatility of SDE imply lower probability of staying positive?
Given two SDEs $X^1$, $X^2$ :
$$X^i_t=1+t+\int_0^t\sigma_i(s)dW_s,\quad \forall t\ge 0,$$
where $\sigma_i:\mathbb R_+\to [1/2,1]$ are non-decreasing s.t. $\sigma_1(t)\le \sigma_2(t)$ for all $t\ge 0$....
- 1,334
1
vote
1
answer
113
views
Prove $\int_\Omega \left(\rho_{1} \ln \frac{\rho_{1}}{\rho_{2}}\right)dx dy \leq C\int_\Omega |\rho_1-\rho_2|dxdy$ for $0 \le \rho_1, \rho_2 \in L^1$
Let $\rho_1, \rho_2 \in L^1(\Omega;\mathbb R_+)$ such that $\int \rho_i|\ln \rho_i| < \infty$. Is it true that there exists a constant $C>0$ such that
\begin{align*}
\int_\Omega \left(\rho_{1} \...
user140746
0
votes
0
answers
419
views
Sobolev inequality on the sphere derivation
I am reading the following paper (preprint here) and the author starts by stating the Sobolev inequality on the Sphere $\mathbb{S}^d$
$$\frac{p-2}{d}\int |\nabla u|^2 + \int |u|^2 \geq \left(\int |u|^...
- 537
2
votes
1
answer
177
views
Determine the sign (positive or negative) of an integral with the fractional Laplacian
Let $u,v:\mathbb R \to \mathbb R$ and $\phi: \mathbb R \to \mathbb R_+$ be smooth bounded functions. Assume also $\phi' \ge 0$. Assume that $u(0) - v(0) = 0$ and that $0$ is a strict global minimum of ...
- 839
2
votes
0
answers
94
views
From some priori estimates can we estimate higher Sobolev norm?
Suppose $u$ is a smooth function on bounded set $\Omega$ with smooth boundary such that
$$\|u\|_{W^{1,p}(\Omega)}\le C\|\phi\|_{W^{1-1/p,p}(\partial\Omega)}$$
where $u|_{\partial\Omega}=\phi$.
Can we ...
- 309
1
vote
0
answers
84
views
How to show that $\Delta W \leq −2(n − 4)V$?
I am reading a preprint and trying to understand the proof of Lemma 3.5. On Pg. 19 above eqn (3.49) the authors claim that $\Delta W \leq −2(n − 4)V$ where the functions $W$ and $V$ are defined below,
...
- 537
7
votes
0
answers
209
views
Li-Yau inequality on $\mathbb R^2$ for functions that are somewhat close to $1$
Let $u:\mathbb R^2\times \mathbb R_{>0}\to \mathbb R_{>0}$ be a positive solution to the heat equation on $\mathbb R^2$ ($u_{xx}+u_{yy}=u_t$, no constants). The Li-Yau inequality in this case ...
- 7,193
0
votes
0
answers
173
views
Lemma 3.10 of paper 'Periodic nonlinear Schrodinger Equation and Invariant measure' by J.Bourgain
I am reading a paper 'Periodic nonlinear Schrodinger Equation and Invariant measure' by J.Bourgain.
And I have a questions in the proof of lemma 3.10.
Please click the paper title for the link.
The ...
- 239
2
votes
0
answers
148
views
Inequalities in a paper of J.Bourgain
I am reading a paper 'Periodic Nonlinear Schrodinger Equation and Invariant Measures' written by J.Bourgain. And I am wondering if I can have some help from this website.
At (2.13) of the paper, there ...
- 239
2
votes
0
answers
250
views
Dense property of intersection of Sobolev space
I'm using Muscalu and Schlag's textbook (online notes) to study Littlewood-Paley theory in harmonic analysis, where I encounter the following claim:
Pick an arbitrary real number $s$, we have that the ...
- 197
6
votes
1
answer
182
views
Mittag-Leffler function
Let the Mittaq-Leffler function be defined by the expression
$$ E_{\mu,\nu}(z) = \sum_{k=0}^{\infty} \frac{z^k}{\Gamma(k\mu+\nu)}\quad \text{$\mu>0$ and $\nu\in \mathbb R$}$$
Now let $n\in \mathbb ...
- 4,135
1
vote
1
answer
282
views
Riesz rearrangement inequality
In the Lieb-Loss's book Analysis, they present the Riesz rearrangement in Section 3, Theorem 3.9 (page 93). Note that the functions $f, g, h,$ are all nonnegative. I want to ask whether the ...
- 379
0
votes
1
answer
76
views
Reverse Hölder type inequality for the Laplacian raised to a power
I am studying integrals of the form $\int (\Delta \rho)^{\alpha} f^{\beta}$ where $0<\alpha < 1, \beta \geq 0$ and $\rho, f \in C_c^{\infty}(\mathbb{R}^n).$ My goal is to obtain lower bound on ...
- 537
2
votes
0
answers
534
views
Interpolation inequality involving negative Sobolev space
$\newcommand\norm[1]{\left\|#1\right\|}\newcommand\inner[2]{\langle #1,#2\rangle}$
Let $u\in \dot{H}^1(\mathbb{R}^n)$ for $n\geq 3$ where $\dot{H}^{1}$ denotes the homogeneous Sobolev space that is ...
- 537
0
votes
1
answer
99
views
An inequality for uniqueness proof of NLS
Setting
Although this detail is not relevant to my question, let me set the problem that my question arise.
We are considering an initial value problem
\begin{align*}
\begin{cases}
u\in L^\infty(I,H^{...
- 239
0
votes
0
answers
62
views
How to prove this integral inequality in a 2-D region?
Let $\Omega$ be a 2D region. Now we have a partial differential equation system describing the characteristics of the region:
\begin{align*} \nabla \cdot (h_0^3 P_0 \nabla P_0) &= 0 \\ \nabla \...
- 29
1
vote
1
answer
174
views
Observability inequality for the 1D transport equation
Let $(a,b) \subset (0,1)$. Consider the following transport equation
$$z_t+z_x=0, \ (t,x)\in(0,T)\times(0,1), \\z(t,0)=0, \ z(0,x)=z_0(x).$$
It is clear that the solution to the above equation is ...
- 617
2
votes
1
answer
129
views
Gronwall estimate with a Fourier transform
Suppose I have the following equality
$$\hat{u}_\epsilon(t,k) = \alpha(t,k) + \int_0^t\int_{\mathbb{R}^n} e^{ik\cdot(x +\epsilon \phi(s,x))}u_\epsilon(s,x)dxds$$
Where $\alpha(t,k) \geq 0$ and $\alpha(...
- 131
0
votes
0
answers
230
views
Trace inequality normal derivative
For $v(\Omega) \in W^1_2$ and $\Omega \in C^1$ we have a trace inequality:
$$\Vert v \Vert _{L_2(\partial \Omega)} \leq C_\Omega \Vert v \Vert _{W_2^1},$$
which can be found in many places in the ...
- 17
2
votes
1
answer
200
views
Proof of a discrete isoperimetric inequality
The following inequality appears in the proof of certain isoperimetric-type inequalities for analytic functions in two dimensions:
$$\sum_{m=0}^{\infty}\frac{|c_m|^2}{m+1} \leq \pi \left(\sum_{m=0}^{...
- 434
1
vote
1
answer
148
views
Understanding a family of Sobolev-type inequalities
I am reading Aspects of Sobolev-Type Inequalities by professor Laurent Saloff-Coste, where I found a claim on page 66 claiming the following:
Denote the following inequality as $S_{r,s}^{\theta}$: $\...
- 11
1
vote
0
answers
44
views
Estimates on density for Stokes equation
Consider a bounded, smooth domain $\Omega\subset \mathbb{R}^3$ and in there the Stokes equations
$\nabla p(\rho)-\Delta u=\rho f\\
\operatorname{div}(\rho u)=0\\
u\restriction_{\partial \Omega}=0$
...
- 41
2
votes
1
answer
286
views
An inequality for abstract Cauchy problem
Consider the following abstract Cauchy problem: $x'(t)=Ax(t)$, in $(0,T)$, with $x(0)=x_0$, where $A$ generates an analytic $C_0$-semigroup on a Banach space $X$. How we can prove an inequality of ...
- 97
5
votes
1
answer
486
views
Lack of exponential $L^2_{t,x}$ decay for a heat equation with growing coefficients
Edit: I have changed the nature of the question, but in order to have a better idea of what I can expect for the original problem (see below).
Given $T>0$ and $n \in \bf Z$, consider the following ...
- 309