All Questions
1,304 questions
4
votes
1
answer
636
views
Existence of a smooth compactly supported function
Let $U$ be a bounded domain in $\mathbb R^n$. Does there exist a smooth function $f$ with compact support in $U$ such that:
$$ \| f\|_{W^{k,\infty}(U)} \leq (k!)^{2-\epsilon},$$
for some $\epsilon>...
- 91.8k
1
vote
1
answer
123
views
Limit of $u^\epsilon_t + u^\epsilon_x - \epsilon u^\epsilon_{xx} + \epsilon u^\epsilon_{xxx} = 0$ as $\epsilon \to 0$
Consider the initial-value problem associated to the PDE $u^\epsilon_t + u^\epsilon_x - \epsilon u^\epsilon_{xx} + \epsilon u^\epsilon_{xxx} = 0$.
To prove that, as $\epsilon \to 0$, the weak solution ...
- 52.3k
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 ...
- 17.2k
1
vote
1
answer
225
views
How to prove the reverse Hölder inequality for Laplace equations?
Let $ u\in H^1(2B) $ be a weak solution of $ \Delta u=0 $ in $ 2B $, where $ B=B(0,1) $ is a ball with center $ 0 $ and radius $ 1 $. Then there exists some $ p>2 $ such that
\begin{eqnarray}
\left(...
- 27.5k
2
votes
1
answer
327
views
Fractional Laplacian and convolution $(-\Delta)^\alpha (u \ast \eta_\epsilon) = (-\Delta)^\alpha u \ast \eta_\epsilon$?
For $u \in L^\infty(\mathbb R)$ and $\eta_\epsilon$ mollifier, it is well-known that for the (distributional) derivative it holds that $(u \ast \eta_\epsilon)' = u'\ast \eta_\epsilon$.
Is it also true ...
- 17.2k
1
vote
0
answers
299
views
Is there a generalization of the Agmon-Douglis-Nirenberg regularity theorem for elliptic equations to domains with corners?
The Agmon-Douglis-Nirenberg theorem(s) state(s) that whenever $f\in W^{m,p}(\Omega)$ where $\Omega$ is a bounded open set of class $C^{m+2}$, then there is a unique solution $u\in W^{m+2,p}(\Omega)$ ...
- 597
4
votes
0
answers
194
views
$L^\infty$ solutions for parabolic Neumann problem (heat equation)
Consider the heat equation on a (smooth) domain in $\mathbb{R}^n$ with homogeneous Neumann BCs:
$$u_t - \Delta u = f$$
$$\partial_\nu u = 0$$
$$u|_{t=0} = u_0$$
where $f \in L^p(0,T;L^r(\Omega))$ and $...
- 307
14
votes
1
answer
830
views
Spectrum of matrix involving quantum harmonic oscillator
The quantum harmonic oscillator relies on two classical objects, the so-called creation and annihilation operator
$$a ^* = x- \partial_x \text{ and }a = x+\partial_x.$$
Fix two numbers $\alpha,\beta \...
- 188k
0
votes
1
answer
417
views
Application of Green function for non linear PDE [closed]
In the case of linear PDE, say $$Lu=0$$ if we have its green function say $G(x,y)$ then using that one can give solution of non homogenous PDE i.e. $Lu_f=f$ where $u_f=G*f$.
Is the same thing hold for ...
- 34.7k
2
votes
0
answers
65
views
Regularity of solution to first order time dependent variational problem
Consider the following first order evolution problem over some regular bounded domain $\Omega\subset\Bbb R^d$
$$\frac{\partial\phi}{\partial t}(\mathbf{x},t) +\vec V(\mathbf{x},t)\cdot \nabla\phi(\...
- 597
4
votes
0
answers
127
views
Algebra properties regarding Gevrey spaces: closed under multiplication
In page 24 of the paper Landau Damping: Paraproducts and Gevrey Regularity, the authors claimed an algebra property of Gevrey spaces, the formula (3.14), without giving a proof. So I'm asking for a ...
- 517
3
votes
1
answer
164
views
Must a Schauder basis for $W^{1,p}_0(\Omega)$ be oscillatory?
Suppose that $\Omega \subset \Bbb R^d$ is a sufficiently nice domain. From the examples of orthogonal bases in Hilbert space cases (or looking at a wavelets basis), it seems natural to me that one may ...
- 2,504
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 ...
- 39.1k
1
vote
0
answers
103
views
Regularity results for non uniform elliptic equation
I have seen some regularity result for ellptic PDE but all of them consist of uniform elliptic one. For instance,
$$\nabla \cdot (\gamma(x) \nabla u)=F \text{ in } \Omega\qquad u=\phi \text{ on }\...
- 309
3
votes
0
answers
96
views
A sequence of functions solving $-\Delta u_n + V u_n = u_{n-1}|_{\partial M}$
Let $M = \mathbb R^3 \setminus B_1$ where $B_1$ is the unit ball.
Let $ h \in C^{\infty}(\partial M)$ and let $u_0$ be the unique function that vanishes at infinity and solves
$$\begin{cases} -\Delta ...
- 969
3
votes
0
answers
145
views
Density of invariant measure of stochastic differential equation
I have a question: is it possible that an SDE has a "nice" density, but its invariant measure does not have a "nice" density? I asked this question at math.stackexchange but ...
- 931
1
vote
1
answer
341
views
Plummer and Coulomb kernel for the Poisson equation
Consider the $d$-dimensional Coulomb "kernel" defined by:
\begin{equation}
x \in \mathbb{R}^{d} \mapsto g(x):=\left\{\begin{array}{ll}
\log \frac{1}{|x|} & \text { if } d=2 \\
\frac{1}{|...
- 91.8k
3
votes
1
answer
302
views
Convergence of a level set when $f^n\to f$ in $C^1$ sense
Let $f^n$ be a family of $C^1$ functions and $f(x)=-|x|^2+1$ such that
$$f^n\to f$$
in $C^1$ sense as $\varepsilon\to 0$. I want to ask that does the level set $\{f^n=0\}$ converges to $\{f=0\}$ in ...
CommunityBot
- 1
1
vote
1
answer
116
views
uniform convergence of $H^r$ projectors on compact sets?
Let $\Omega\subset \mathbb R^d$ be a smooth, bounded domain. Let $(e_n)_{n\geq 0}\subset L^2(\Omega)$ be the Hilbert basis generated by the Dirichlet-Laplacian eigenfunctions, i-e $-\Delta e_n=\...
- 6,035
3
votes
1
answer
216
views
Linear transport equation with Lipschitz conditions
Given the equation here, I would like to ask the following relaxed question:
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = ...
- 12.6k
5
votes
2
answers
358
views
Linear transport equation with unbounded coefficients
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$
I am wondering then if $q$ and all its ...
- 128k
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 ...
CommunityBot
- 1
3
votes
0
answers
159
views
Does the weak formulation of a parabolic PDE applies to a (good) non-test function?
Let $\rho:\mathbb R^d\times[0,\infty)\to(0,\infty)$ such that $\int \rho_t(x)\,dx=1$ for all $t\geq0\,$, $\rho$ is Holder-continuous (in both variables) and $\rho_t\in W^{1,1}(\mathbb R^d)$ for a.e. $...
- 311
1
vote
0
answers
251
views
Regularity of a Fokker-Planck PDE with unbounded coefficient
Let $A$ be a positive definite symmetric matrix, let $b\in C^1(\mathbb R^d\!\times\!(0,\infty))\cap C(\mathbb R^d\!\times\
- 91
5
votes
0
answers
419
views
Nonlinear variation of constants formula
Suppose that we wish to solve $x'(t)=f(x(t))+g(x(t)), \; x(0)=x_0\in X,$ where $X$ is an infinite dimensional Banach space and $f , g : X \rightarrow X $ are two nonlinear functions. Furthermore, ...
- 6,367
2
votes
0
answers
125
views
Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Delta^2 u = -\text{div}\, F$
Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system
...
- 1,245
5
votes
1
answer
279
views
Connecting PDE notions for functions $[0,T] \to (\Omega \to \mathbb{R})$ to related notions for functions $[0,T] \times \Omega \to \mathbb{R}$
Fix $\Omega \subseteq \mathbb{R}^N$ a bounded domain (of whatever smoothness you end up needing, let's say $C^1$ domain for definiteness) and fix some $0 <T < \infty$. In considering evolution ...
- 3,584
2
votes
1
answer
171
views
Mean value formula for fractional heat equation
For the solution $u(z) = u(t,x)$ of the heat equation $u_t -\Delta u = 0$ we have
$$u(z_0) = \int_{\Omega_r(z_0)}u(z) K_r(z_0-z) dz,$$
where $$\Omega_r(z_0) = \left\{z \in \mathbb{R}^{N+1}: \Gamma(z_0-...
- 161
4
votes
1
answer
698
views
Poincare Inequality for $H^2$ function satisfying homogeneous Robin boundary conditions
Let $\Omega\subset\mathbb{R}^3$ be a bounded smooth domain. In general, for a Poincare inequality of the type
$$\|u\|_{L^2}\le C \|\nabla u\|_{L^2}$$
to hold for all $u\in X\subset H^1(\Omega)$ and $C$...
- 1,724
2
votes
0
answers
162
views
$\int_{\mathbb{R}^{N}\setminus\Omega}\vert x-z\vert^{-N-\alpha} dz = c \ \forall x\in\partial U$ implies $dist(x,\partial\Omega)=c, x \in \partial U$?
Let $\alpha \in \mathbb R_+$, $\Omega \subset \mathbb R^N$ and $U \subset \Omega$. Is it true that if
$$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-\alpha} dz = \text{constant} \quad \text{for all ...
- 303
2
votes
0
answers
49
views
Determining a space of differentiability
I have a questions and maybe you are able to assist with this? Let us consider the space $X:=\mathrm{L}^2[0,\pi]$. On $X$ we consider the family of operators $(P(t,s))_{t\geq s}$ defined by
$$
P(t,s)f:...
4
votes
0
answers
143
views
If theorem valid for compactly supported distribution then is it also valid for tempered distribution?
I have seen many theorem which Author wanted to prove for tempered distribution, but without saying anything proves for compactly supported distribution.
For instance,
Theorem: Any $A \in \Psi^{m}$ ...
- 309
2
votes
1
answer
2k
views
Norms in Sobolev space $W^{1,\infty}$
Let $n\in\mathbb{N}$ and consider the Sobolev space $W^{1,\infty}(\mathbb{R}^n)=\lbrace u\in L^{\infty}(\mathbb{R}^n):\partial_iu\in L^{\infty}(\mathbb{R}^n) \rbrace$. A function is in $W^{1,\infty}$ ...
- 237
4
votes
1
answer
1k
views
Where to learn about parabolic Hölder spaces and when to use them
Is there a good resource from where I can learn about parabolic Hölder spaces? I see quite a few different definitions of this space in different papers. I am clueless about why, for example, one may ...
- 313
1
vote
0
answers
72
views
Initial-boundary value problem for transport equation with $W^{1,p}$ velocity
Let us consider $v:\mathbb R_+ \times \mathbb R \to \mathbb R_+$ such that $v \in L^1(0,\infty, W^{1,p}(\mathbb R))$ and the transport equation
$$ \begin{cases}
u_t + v(t,x) u_x = 0 \qquad & (...
- 61
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 ...
- 128k
0
votes
1
answer
98
views
Reference request: Is if possible to estimate the local behaviour of the solution of $\nabla \cdot a(x) \nabla f=g$ via constant coefficients?
Consider the divergence form uniformly elliptic operator $\nabla \cdot a(x) \nabla$
where the coefficient $a$ are smooth and bounded and $D$ is a bounded
and smooth domain of $\mathbb R^d$
$$
\begin{...
- 2,494
4
votes
0
answers
146
views
Fourier transform without characters (Eigenfunctions of an operator)
Let's consider a very simple problem in quantum mechanics:
We have, in $\mathbb R,$ a potential barrier of the form
$$
V(x) = V_0 \mathbf 1_{[-a,a]}(x),
$$
where $\mathbf 1_{[-a,a]}$ denotes the ...
- 1,755
16
votes
2
answers
1k
views
How to generalize the various vector calculus theorems to distributions?
Here is a list of vector calculus identities; in the proof of these identities, we all assume that these functions are $𝐶^𝑘$ in an open set, and we usually use these identities to calculate ...
- 760
2
votes
0
answers
657
views
Convergence of operator in norm resolvent sense and their eigenvectors
Let $\{T_n\}_{n=1}^\infty$ and $T$ be (unbounded) self-adjoint operators and $T_n\to T$ in norm resolvent sense, that is, for some $z\in \mathbb{C} \setminus \mathbb{R}$, $\|(zI- T_n)^{-1}- (zI- T)^{-...
- 21
2
votes
1
answer
288
views
Reference request for semilinear PDEs in dimension 2
I am interested in the study of the (semi-linear, I suppose) equation
$$\begin{cases}-\Delta u(x,y)+q(x)u(x,y)+h(x)=f(u(x,y)-kx),\;\;(x,y)\in\Omega,\\
u=g,\;\;\;\text{on }\partial\Omega.\end{cases}$$
...
- 2,494
1
vote
0
answers
105
views
Derivative and Green function of Fractional Laplacian in a bounded domain: $(-\Delta)^s\nabla_x G(\bar x,z) = 0 \text{ in } \Omega $?
Let $G$ be the Green function of the Fractional Laplacian $(-\Delta)^s$ in a domain $\Omega$ (which is known explicitly for the special case of the ball: link). Let $\bar x \in \Omega$ be fixed. Does ...
- 303
5
votes
0
answers
156
views
Homotopy, contraction mapping and the inverse function theorem on Banach spaces
We all know the "open mapping" part of the inverse function theorem on Euclidean spaces can be proved by either contraction mapping (iterations), or homotopy methods (degree theory / ...
- 179
0
votes
0
answers
93
views
Regularity of semilinear parabolic PDE in the whole space
I need regularities in Holder space of the following parabolic PDE:
$$\partial_t v = \partial_{xx} v + \partial_{yy} v + \rho \partial_{xy} v - v \partial_x v + \partial_y v + F, \forall (x, y, t) \...
- 1,399
5
votes
1
answer
564
views
Convergence of discrete Laplacian to continuous one
I make the following observation:
Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.)
This one has eigenvalues ...
- 2,155
4
votes
1
answer
387
views
Asymptotic formula for fractional Laplacian
For the solution of
$$
\begin{cases}
\lambda u^\epsilon - \frac{\epsilon^2}{2} \Delta u^\epsilon = 0 &\text{in } \Omega \\
u^\epsilon=1 & \text{on } \partial \Omega
\end{cases}
$$
Varadhan ...
- 17.2k
6
votes
0
answers
113
views
A continuity argument for a dispersive $gKdV$ estimate
I'm learning about the gKdV equation, following Schlag & Muscalu vol II. We're looking at
$$\begin{cases} u_t + u_{xxx} + F(u)_x = 0 \\ u_0 = g\end{cases}$$
where $F(u) = u^5$ (for example). The ...
- 163
0
votes
1
answer
147
views
The relationship between the first eigenfuntions and the second eigenfuntions on sphere [closed]
Recently I considered the following question: If we give a second eigenfuntions $g$ on sphere, then can we construct a first eigenfuntions $f$ by $g$? Is there any relationship between the first ...
- 135
27
votes
2
answers
8k
views
Compact embeddings of Sobolev spaces: a counterexample showing the Rellich-Kondrachov theorem is sharp
Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and ...
