All Questions
Tagged with ap.analysis-of-pdes fa.functional-analysis
1,304 questions
1
vote
1
answer
84
views
A completion equality in product of Sobolev spaces
Let $\Omega$ be a nice bounded domain of $\mathbb{R}^n$. For $s\ge 0$ we define
$$H_{0}^{s}(\Omega):=\overline{C_{c}^{\infty}(\Omega)}^{H^{s}(\Omega)}.$$
My question: is the following equality true?
$$...
1
vote
2
answers
424
views
Regular Lagrangian flow for the problem $\frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x))$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x)), &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
where $\chi$ denotes the ...
1
vote
1
answer
468
views
"Combining" two differential equations into one
The Setup: Suppose $\Omega$ is a bounded, open, connected, simply connected subset of $\mathbb{R}^2$ with smooth boundary. Suppose that I am given a function $\Phi:\mathbb{R}^2\to\mathbb{R}$ and two ...
1
vote
1
answer
219
views
Harmonic functions vanishing on the boundary and distance function asymptotics
Let $\Omega \subset \mathbb R^N$ be a $C^2$ domain. Let $u$ be a function such that $u \in W^{2,2}(\Omega)$ and $u = \Delta u = 0$ on $\partial \Omega$. Is it true that $$ c \le \frac{u}{[\mathrm{dist}...
1
vote
1
answer
138
views
How to prove the following Whittaker formula
I am a theoretical physicist and
I need help in proving the alternate Whittaker formula
$W _ { k , m } ( z ) = \frac { \Gamma ( - 2 m ) } { \Gamma \left( \frac { 1 } { 2 } - m - k \right) } M _ { k , ...
1
vote
1
answer
296
views
Boundary behavior of Greens functions on smooth bounded (planar) domains
It is well known that for any smooth bounded (connected) domain $\Omega\subset\mathbb R^d$ with $d\ge2$, we can define a Green's function $G:\Omega\times\Omega\to\mathbb R$ in $\Omega$ which is smooth ...
1
vote
2
answers
2k
views
The difference between the nonlocal and local conditions problems
In some problems involving ordinary differential equations, subsidiary conditions are imposed locally. In some other cases, nonlocal conditions are imposed.
In this paper: Existence and uniqueness ...
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
1
vote
1
answer
131
views
Convergence of $L^p$ of approximation
Let $f \in L^p(\mathbb R^n)$ be given. Consider a partition of rectangles $I_{ij}:=[x_i,x_{i+1}]\times [x_j,x_{j+1}]$ of $\mathbb R^2.$
Then, we may define the coefficients
$$\alpha_{ij}= \frac{1}{\...
1
vote
1
answer
165
views
Integral function $z(x):=\int_{Y} f(x,y)d\mu(y)$ continuous?
Let $z(x):=\int_{Y} f(x,y)d\mu(y)$ for $x \in \mathbb R$ be an integral function where $\mu$ is a finite(!) Borel measure on $Y$ and $x \mapsto f(x,y)$ is continuous for every $y.$
Moreover, we know ...
1
vote
1
answer
285
views
Recover norm from integral
I am given the following expression where $f \in L^2(\mathbb{R}^2, \mathbb{R}^{2 \times 2})$
$$\int_{\mathbb{R}} \int_{\mathbb{R}} \langle g(x), f(x,y) h(y)\rangle dx dy.$$
The functions $g$ and $h$ ...
1
vote
1
answer
151
views
Global wellposedness of the Cauchy problem for a third order PDE
Consider $$u_t-\alpha u_{xx} - \beta u_{xxx} = f(u_x)$$
with initial condition $u(0,x) = u_0(x)$,
where $\alpha>0$, $\beta \in \mathbb{R}$, $u_0 \in C^\infty(\mathbb{R})$, and $f$ is Lipschitz (...
1
vote
1
answer
130
views
Resolvent difference of absolute values!
Let $T$ be a bounded operator. Then, the operators $\left\lvert T \right\rvert:=\sqrt{T^*T}$ and $\left\lvert T^* \right\rvert:=\sqrt{TT^*}$ are well-defined.
Is there a way to write
$$(\left\lvert ...
1
vote
1
answer
518
views
Interpolation between Schatten classes
I was wondering if there is an analogue to the classical Riesz Thorin theorem for Schatten classes. I suppose the answer is yes, since Schatten classes are so similar to $\ell^p$ spaces for which the ...
1
vote
1
answer
284
views
Reformulation of the classical Navier-Stokes equation as a semilinear evolution equation and corresponding mild solutions
Let
$d\in\mathbb N$
$\lambda^d$ denote the Lebesgue measure on $\mathbb R^d$
$\Lambda\subseteq\mathbb R^d$ be open
$\mathcal V:=\left\{v\in C_c^\infty(\Lambda)^d:\nabla\cdot v=0\right\}$, $$V:=\...
1
vote
1
answer
194
views
$\|f\|^2_{H^{-1}(\mathbb{T})}\lesssim \int_\mathbb{T} |\sin(x)f(x)|^2 \; dx$?
I have been stuck in this question for a while, and I would appreciate any new ideas. I have been considering the inequality
$$
\|f\|^2_{H^{-1}(\mathbb{T})}\lesssim \int_\mathbb{T} |\sin(x)f(x)|^2 \; ...
1
vote
1
answer
129
views
$L^p$-bounding inequality [closed]
Do we have that$$\|Du\|_{L^{2p}} \le C\|u\|_{L^\infty}^{1\over2} \|D^2u\|_{L^p}^{1\over2}$$for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$? Here, $U$ denotes an open subset of $\mathbb{R}^n$.
1
vote
1
answer
91
views
degree theory for elliptic equations; special solutions
I am interested in using degree theory to examine some semilinear problems.
But instead of just looking for solutions lets assume i am looking for a certain class of solutions; for instance lets ...
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_{...
1
vote
1
answer
191
views
Getting an a priori bound on a nonlinear gradient term in PDE; how to adapt trick from $L^2$ case to $H^{-1}$ case?
I have the PDE
$$u_t(t) - \Delta f(u(t)) = 0$$
in $H^{-1}(\Omega)$ where $f$ is a nonlinear function.
Define $F(s) = \int_0^s f(s)$. Note that if $u_t(t) \in L^2(\Omega)$,
$$\frac{d}{dt}F(u(t)) = f(...
1
vote
1
answer
687
views
Fractional Laplacian on compact hypersurface/manifold via harmonic extension?
Let $M$ be a sufficiently smooth compact hypersurface of dimension $n-1$ in $\mathbb{R}^n$.
In pages 10-11 of this paper, the authors define $\mathcal{M} = M \times (0,\infty)$ and consider the ...
1
vote
1
answer
193
views
If $u \in W^1(0,T;L^2,H^1)$ and $\varphi \in C^1([0,T]\times \Omega)$ then $\varphi u \in W^1(0,T;L^2,H^1)$?
Let $\Omega \subset \mathbb{R}^n$ be an open bounded domain.
Define $$W^1 := W^1(0,T;L^2,H^1) := \{w \in L^2(0,T;H^1(\Omega)) \mid w' \in L^2(0,T;H^{-1}(\Omega))\}$$
where $w'$ means the weak ...
1
vote
1
answer
339
views
$C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$?
Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert space.
1
vote
2
answers
939
views
Alternate definitions of $C^{1,\alpha}$ and $C^{1,\alpha}(\bar{D})$ maps
My question is about the precise definition regarding the following:
Let $f$ be an orientation-preserving $C^1$ diffeomorphism of the unit circle $S^1$. So $f'(b)$ exists and can be thought as a ...
1
vote
1
answer
3k
views
The conormal derivative of a function
Hi!
I was wondering about the definition of the conormal derivative of a function
$u$ which is given on a domain $\Omega$. It is known that if $-\Delta u = f$, considered
as functionals on $H^1_0(\...
1
vote
1
answer
1k
views
Almost analytic continuation
Let $f\in S^{\alpha}$ for some $\alpha \in \mathbb{R}$(which means that f is smooth and satisfies $|D^{\beta}f|\leq C(1+|x|)^{\alpha-\beta}$),a function $\tilde{f}$ on $\mathbb{C}$ is called an almost ...
1
vote
1
answer
2k
views
Basic questions about parabolic Holder space
Hi, I am interested in learning a bit more about this space. I have exhausted all the books available at my disposal, and none of them explain much of the basics for me. Here's a definition of this ...
1
vote
1
answer
630
views
Stuck on a convergence argument in $H_0^1(\Omega)$.
I'm trying to verify that a functional I have satisfies the Palais Smale condition for appliction of the Mountain Pass lemma.
However I've encountered this step along the way which seems clear to me ...
1
vote
1
answer
256
views
Moser iteration in dimension $6$
Let $M$ be a closed Riemannian manifold of dimension $6$. We have a function $f\geq 0$ on $M$ satisfying
\begin{align*}
\Delta f \leq gf-\frac{3}{4}f^2
\end{align*}
Where $g$ is another smooth ...
1
vote
1
answer
136
views
Adjoint operator of OU generator
The generator an OU process is given by
$$A = \operatorname{tr}(QD^2)+\langle Bx,D\rangle.$$
This one possesses an invariant measure given by
$$d\mu(x) = b(x) \ dx \text{ with } b(x) = \frac{1}{(4\pi)^...
1
vote
1
answer
93
views
Integration of Wigner transform
I am a mathematician studying the dynamics of the $N$-Body density matrix $\rho_{N}(x;y)$ for $n$ particles, defined by
$$\rho_{N, t}^{(n)} (x_1,..,n_n; y_1,...,y_n) =
\begin{cases}
\int \rho_{N,t}(...
1
vote
1
answer
676
views
First derivative of cut off function
I am working on proving the following: Let $\rho(x)= \frac{2}{2+x^2}$, $\theta >1$ (assumed integer here) and $B \subset H^1_{ul}$,(uniformly local Sobolev space), be any subset which is bounded in ...
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} \...
1
vote
1
answer
182
views
Proving an estimate for the Neumann problem on $\mathbb{R}^3 \setminus B_1$ in Weighted Sobolev spaces
Let $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
It is known that for every $g \in H^{\frac{1}{2}} (\partial M)$, and for an appropriate $\delta$, there exists a unique solution $u$ ...
1
vote
2
answers
106
views
Green function of symmetric stable process in dimension 1 and 2
Are the results in this paper on the Green function of a symmetric stable process available also in space dimension $d =1$ and $d=2$? The main theorems here are stated only for $d \ge 3$.
1
vote
1
answer
400
views
Convolution mollification of $H^s$ functions uniformly in the unit ball of this sobolev space
Let $\phi$ be a nonnegative $C_c^\infty(B(0,1))$ function, where $B(0,1)\in \mathbb R^n$ is the unit ball, and $\int \phi =1$. Let $\phi_{\epsilon}(x) =\epsilon^{-n} \phi(x/\epsilon).$ For any $L^2$ ...
1
vote
1
answer
134
views
Integrability of fractional heat kernel
In Estimates of fractional heat kernel, it was stated that $$ \partial_{x_j} p_t^{(n)}(x) = -\frac{x_j}{2 \pi} \, p_t^{(n+2)}(\tilde x) $$
where $x = (x_1, \ldots, x_n) \in \mathbb R^n$, $\tilde x = (...
1
vote
1
answer
187
views
Fractional Laplacian equation on a ball and explicit solutions
Let us consider
\begin{align*}
(-\Delta)^s u &= 0 && x \in B_r(0) \\
u&=0 && x \in \mathbb R^N \setminus B_r(0),
\end{align*}
where $$
(-\Delta)^s u(x) = \int_{\mathbb{R}^N} \...
1
vote
1
answer
195
views
Existence and regularity for fractional elliptic problem with gradient term: $ (-\Delta)^s u + v\cdot \nabla u = 0$ with $v \in \dot H^s$
Let us consider the problem
$$ (-\Delta)^s u + v\cdot \nabla u = 0 \quad \text{ in } \mathbb R^n, $$
where $s \in (0,1)$, $(-\Delta)^s$ is the fractional Laplace operator and
$v:\mathbb R^n \to \...
1
vote
1
answer
131
views
Fractional Laplacian problem on half-line
Is it possible to obtain an explicit solution for the following fractional problem on the half-line?
$$(-\Delta)^\alpha u(x) + M u'(x) + K u(x) + C = 0 \quad \text{ in } (0,\infty)$$
$$u(x) = a, \quad ...
1
vote
1
answer
170
views
A time dependent variational problem coming from a second order linear PDE
Fix $u_0\in H^1(\Omega)$ and $f=f(x,y,t)\in L^2(\Omega\times [0,T])$ where $\Omega$ is a sufficiently smooth bounded domain in $\mathbb{R}^2$.
Consider the problem of finding $u:\Omega\times[0,T]\to\...
1
vote
1
answer
145
views
Endpoint in commutator estimate
Let $p\in(1,\infty)$ and $J^s=(1-\Delta)^{s / 2}$ with $s>0$. Then we have the following commutator estimate by C. E. Kenig, G.Ponce and L. Vega (1991 JAMS),
\begin{equation}
\left\|J^{s}(f g)-f J^{...
1
vote
1
answer
713
views
Estimate on first derivatives given $L^2$-norm of Laplacian
Let $B$ be the unit ball in the Euclidean space $\mathbb{R}^n$. Consider the set of functions
$$X=\{u\in C^2(\bar B) \mid u|_{\partial B}=0 \text{ and } \|\Delta u\|_{L^2(B)}\leq 1\},$$
where $\Delta$ ...
1
vote
1
answer
211
views
Approximation of functions by tensor products
Given a function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$, can we find a sequence of functions $f_n$ of the form $f_n(x,y)=\sum_{i=1}^ng_i(x)h_i(...
1
vote
1
answer
103
views
Is $X = \{ B \in L^\infty(\mathbb R^n,\mathbb R^n): \nabla \cdot B \in L^\infty(\mathbb R^n,\mathbb R^n) \}$ a dense subspace?
The Sobolev space $W^{1,\infty}(\mathbb R^n,\mathbb R^n)$ is not dense in $L^\infty(\mathbb R^n,\mathbb R^n)$. In fact the functions in $W^{1,\infty}(\mathbb R^n,\mathbb R^n)$ are Lipshitz, and not ...
1
vote
1
answer
272
views
Multivariate fixed point of a function
The fixed-point of a vector-valued function $f: \mathbb{R}^p \rightarrow \mathbb{R}^p$ is a value $\textbf{b}$ such that $f(\textbf{b}) = \textbf{b}$ (this value is not necessarily unique). Any ideas ...
1
vote
1
answer
165
views
Morrey condition (integral condition) and (local) Holder condition
Let $x \in \mathbb{R}^n$ and $f:\mathbb{R^n} \to \mathbb{R}$ be a non-negative function such that $f(x)=0$. Is it true that (assuming $\alpha,\beta>0$)
$$\limsup_{r \to 0} r^{-\alpha \beta}\frac{...
1
vote
1
answer
151
views
"Global" version of a classical elementary lemma in viscosity solutions theory on sequence of "local" strict maximum (minimum) points
Lemma 2.4 at page 8 of these lecture notes on viscosity solutions theory is a classical and frequently used result.
Does the lemma (and its proof) hold true if we replace "local" with "global" ...
1
vote
1
answer
259
views
Heat equation with source term in $L^1$
To simplify, let us work on $Q_T:=[0,T]\times\mathbb{T}^N$ where $\mathbb{T}^N$ is the $N$-th dimensionnal torus.
Consider $(S_n)_n$ a sequence of $L^1(Q_T)$ and $(z_n)_n$ the sequence of solutions ...
1
vote
1
answer
334
views
Orthonormal basis and decay
Edit: I added smoothness, hoping to simplify the problem with this additional assumption.
Let me motivate this question first: In signal analysis it is often of interest to understand when a certain ...