All Questions
Tagged with ap.analysis-of-pdes real-analysis
569 questions
0
votes
0
answers
470
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
- 131
4
votes
0
answers
500
views
Properties of the solution of the heat equation
Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...
- 679
1
vote
0
answers
205
views
A Question about compactness of an embedding into $L^p$ spaces
Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} \frac{u^...
- 371
3
votes
0
answers
74
views
Semi-continuity of the dimension of the null space
Suppose $T_n : X \rightarrow X$ is a sequence of Fredholm operators on a Banach space such that $T_k \rightarrow T$ strongly (in the induced operator norm). If $N_k$ and $N$ denote the dimensions of ...
- 537
1
vote
1
answer
401
views
Are solutions of the Beltrami Equations necessarily smooth?
Let $ a $, $ b $ and $ c $ be real constants such that $ \Delta \stackrel{\text{df}}{=} a c - b^{2} > 0 $. The Beltrami Equations are defined as the following system of PDE’s on the domain $ \Bbb{R}...
- 1,396
6
votes
3
answers
481
views
Quantum Mechanics and bilinear optimal control theory
I was wondering whether there are any rigorous results about the optimal controllability of Schrödinger operators.
So my question is something like this:
Let $i \partial_t \psi(x,t) = H_0(x)\psi(x,t)...
- 259
3
votes
0
answers
105
views
Can Mumford-Shah functional be adapted to lower $L^1$ space?
The well know Mumford-Shah functional functional
$$
F(u)=\int_\Omega|\nabla u|^2+\mathcal H^{N-1}(S_u) \tag 1
$$
where $u\in SBV(\Omega)$ and $\nabla u$ is the absolutely continuous part of ...
- 679
3
votes
1
answer
265
views
Scaling properties of the Hölder estimate for heat equation
Lately, I have been interested in scaling properties of parabolic equations, and this question is related to an earlier one I asked about Harnack constants.
Let $Q(R) := Q(R^2,R) = B(0, R) \times [-R^...
- 632
2
votes
2
answers
232
views
Heat equation: impact of the diffusion coefficient on the Harnack constant
Consider the heat equation
$$
u_t - div[a(x,t) \nabla u] =0,\quad (x,t) \in B(r) \times [-r^2, 0] \subset \mathbb R^{d+1}
$$
for a Hölder continuous coefficient $a(x,t)$ satisfying
$$
0<C_o \le a(x,...
- 632
4
votes
1
answer
269
views
Real analysis on vector-valued spaces, $L^{p}(\mathbb{R}^N,E)$ ,$H^{s}(\mathbb{R}^N,E)$
I am dealing with some vector-valued Sobolev spaces $H^{s}(\mathbb{R}^N,E)$ where $E$ is a Banach space.
I am looking for references about results for the scalar case $H^{s}(\mathbb{R}^N,\mathbb{C})$...
- 601
4
votes
1
answer
241
views
Is a function $u\in \mathrm{SBV}(\Omega)$ with these additional properties essentially bounded?
Some related earlier discussion can be found here.
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary, $\mathcal H^{N-1}(\partial\Omega)<\infty$ and $u\in SBV(\Omega)$. Then
$$
...
- 679
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 679
4
votes
0
answers
121
views
The best constant in Poincare-liked inequality in $BV$ and $BD$ space
This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
- 679
0
votes
0
answers
173
views
Is this has anything to do with Riesz representation?
The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...
- 679
1
vote
1
answer
390
views
Square Integrable Harmonic Functions in an Infinite Strip
Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space.
Is it true that the only $L^2$ harmonic function in this strip is the ...
- 4,145
2
votes
1
answer
396
views
$BMO$-property via a John-Nirenberg type estimate?
Let $\Omega \subset \mathbb R^d, d\ge 2$, be bounded and denote a ball in $\mathbb R^d$ by $B$. Denote also
$$
f_B:= \frac1{|B|}\int_B f \, dx.
$$
Suppose $f \in L_{\rm loc}^p(\Omega)$ for all $1<p&...
- 632
4
votes
1
answer
128
views
On the domain of functionals in measure with singular kernels
this post is concerned with functionals defined in measures. Consider the following functional
$$\mathcal{W}[\mu]=-\int_{\mathbb{R}^2}{\log\vert x-y\vert\ d\mu(x)d\mu(y)},$$
were we define $-\log\...
- 145
1
vote
0
answers
111
views
Heat equation inequality
There is an inequality that tells us that for some sufficiently smooth $f$ satisfying $(\partial_t - \Delta )f \le - \delta f^2 +K$ for $\delta,K >0$ that $f$ is bounded by some constant. ...
- 81
7
votes
1
answer
501
views
Poincaré inequality for curl-integrable functions
Let $B=B(r)$ denote a ball of radius $r$ in $\Omega \subset \mathbb R^d$ and
$$
u_B := \frac1{|B|}\int_B u \, dx.
$$
The standard Sobolev-Poincaré inequality states that if $u \in W^{1,p}(\Omega)$, ...
- 632
7
votes
1
answer
609
views
$H^s$ norm of a solution of a nonlinear Schrödinger equation
I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao.
They study the ...
- 71
4
votes
2
answers
206
views
How to find an ODE with prescribed terminal values?
Let us consider an ODE
$$\frac{dx_t^y}{dt}=g(x_t^y),$$
where y is the initial condition i.e. $x_0^y=y$.
Now, given a function $f$ (increasing and smooth) is it possible to find $g$ (i.e. an ODE) ...
2
votes
0
answers
519
views
Regularity in PDE theory
I stumbled over this question in the context of PDE theory and thought that maybe somebody here knows whether the following is true or not?
Let $U$ be connected,open and bounded in $\mathbb{R}^n$ ...
- 231
5
votes
0
answers
252
views
Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?
Recently, I have been studying the properties of the Riesz potential
$$
I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.
$$
The classical Hardy-Littlewood-Sobolev ...
- 632
10
votes
1
answer
700
views
Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?
Let us denote the Riesz potential in $\mathbb R^d$ by
$$
I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}}
\, dy.$$
By the classical Hardy-Littlewood-Sobolev theorem ...
- 632
-2
votes
1
answer
193
views
Analysis of Sobolev spaces [closed]
I just wanted to know wthether the following is OK or not.
Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...
- 157
5
votes
1
answer
252
views
Blow-Up for Semi-Linear Wave Equations
I am reading C. D. Sogge's book "Lectures on Non-Linear Wave Equations". As an exercise, I attempted to fill out the details of the proof of Theorem 5.1 (Local Existence of Solutions for Semilinear ...
- 51
7
votes
3
answers
2k
views
Gross's log Sobolev inequality proof with variational calculus?
For $f\in C^{1}(\mathbb{R}^{n})$, Gross's logarithmic Sobolev inequality says that
$$\int f^{2} \log f^{2}\,d\mu -\int f^{2}\,d\mu \log\left(\int f^{2}\,d\mu\right)\leq \frac{2}{c}\int |\nabla f|^{2}...
- 5,474
5
votes
1
answer
239
views
Function and its Gradient with Prescribed Norms
I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
- 97
1
vote
1
answer
188
views
"Schwarz symmetrization" on annulus
If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...
- 1,441
3
votes
1
answer
283
views
Extension of Sobolev Functions
Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
\begin{...
- 31
2
votes
1
answer
446
views
Approximation of subharmonic functions
Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
$$\chi_\epsilon(x)=\frac{c_n}{\...
- 21.8k
1
vote
0
answers
154
views
variation norm of a Fourier transform
Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in (...
- 331
0
votes
1
answer
156
views
Prove a function, defined by integration of a harmonic function, is log-convex [closed]
Let $u$ be a harmonic function and we define
$$ q(r)=\int_{\partial B(0,r)}u^2(x)\,dx $$
The question is about to prove that $q(r)$ is log-convex, i.e., I want to show $\log q(r)$ is convex function ...
- 679
1
vote
1
answer
164
views
Estimates on evolution operator
Let's consider the following evolution operator in $\mathbb{R}^3$
$$S(t)=e^{(i+\delta)t\Delta }$$
How to get the following estimate
$$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert f\Vert_{...
- 13
2
votes
2
answers
144
views
First order pde with characteristics [closed]
Consider a first order pde of the type $$u_y+b(x)u_x=0$$ and suppose that the coefficient $b$ is not necessairly continuous (for instance with a jump in some point).
Is it still possible to apply in ...
- 21
2
votes
2
answers
952
views
Differentiability of Nemytskii operator on Sobolev space
I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
- 201
5
votes
0
answers
310
views
Reference for Hodge decomposition
Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
- 562
8
votes
1
answer
525
views
Interpolation between L^1 and Sobolev Space
Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that
$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ||f||_{L^...
- 101
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
4
votes
1
answer
185
views
Reference: Hardy space regularity of the Jacobian determinant
I'm looking for a reference, expository in nature, for the proof of the following theorem of Coifman, Lions, Meyer and Semmes.
Theorem:
For all $u\in W^{1,n}(\mathbb{R}^n;\mathbb{R}^n)$, $\...
- 97
0
votes
0
answers
206
views
About approximate eigenvalue
I am in trouble when read the book "D.Henry, Geometric Theory of Semiliner Parabolic Equations". The question is relate to Page 104,proof Lemma 5.1.4.
Suppose $X$ is a real Banach Space, $M$ is a ...
- 103
1
vote
1
answer
237
views
Interpolation and embeddings for parabolic function spaces
I have a somewhat easy looking question on parabolic function spaces:
Let $B$ be a ball in $\mathbb R^n$ and let $T>0$. Denote $Q:=B \times [0,T]$. Assume $f \in L^2(Q) \cap L^\infty(0,T; L^q(B))$ ...
- 632
3
votes
1
answer
480
views
To understand integral :$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$
I wants to understand the integrals of the form
$$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$$
where $\mu(\alpha)$ is a non decreasing function such ...
- 1,051
-1
votes
1
answer
237
views
Theorem with an example [closed]
i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?
- 277
3
votes
1
answer
338
views
The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations
Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or $C^{0,1}(\mathbb{R}^...
- 941
1
vote
0
answers
146
views
Boundary gradient estimate
Assume $U$ is the unit disk and $\bar U$ its closure and let $u\in C^2(U)\cap C(\bar U)$ be a real function, with $u(z)=0$ for $z\in \partial U$. If $$|\Delta u|\le A|\nabla u|^2+g(z),$$ for some ...
- 11
1
vote
0
answers
138
views
Bound for a certain integral expression
I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...
- 41
3
votes
1
answer
495
views
Inequality in the Sobolev space $H^1$
I've found the following inequality
$$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ^2\bigg)^{\frac{q}{2}-a}+\frac{c}{r^{2a}}\bigg(\int_{B_r}...
user45822
1
vote
1
answer
163
views
Pohozaev result for equations with weights
I am interested in nonnegative solutions of
$-div( e^{-\gamma(x)} \nabla u(x)) = e^{-\gamma(x)} u(x)^p$ in $\Omega$ with $ u=0$ on $ \partial \Omega$.
Or instead the equation $ -\Delta u + \...
- 539
2
votes
2
answers
283
views
A general inequality about spherical mean of a function
suppose $\overline u(r)=\frac{1}{\omega_{n-1}}\int_{S^{n-1}}u(r,w)dw,0<r<1,$ is the average of $u(r,w)$ on sphere $S^{n-1}$,where $(r,w)$ are the polar coordinates in $R^n$.
My question is ...
- 21