All Questions
1,304 questions
9
votes
2
answers
1k
views
Density of restrictions of harmonic functions inside a ball
Let $B$ be the closed unit ball in $\mathbb R^3$ centered at the origin and let $U= \{x\in \mathbb R^3\,:\, \frac{1}{2}\leq |x| \leq 1\}.$ Let
$$ S_U= \{u \in C^{\infty}(U)\,:\, \Delta u =0 \quad\text{...
2
votes
1
answer
94
views
Decay rate for a small perturbation of a simple linear ODE
MOTIVATION.
Let $f:[0,+\infty)\to \mathbb{R}$.
Solutions to $\partial_tf(t) = -\lambda f(t)$, $f(0)\neq 0$ approach zero exactly as $e^{-\lambda t}$.
This property is preserved if we apply an ...
- 2,533
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)^...
- 6,035
3
votes
1
answer
374
views
Positive part of Cauchy sequence of Sobolev functions is again Cauchy
Let $p\geq 1$ and consider the space $W^{1,p}(B)$ where $B\subset \mathbb{R}^{n}$ is the standard unit ball. Moreover, let $f_{k} \in C^{\infty}(B)$ be a Cauchy sequence in $W^{1,p}(B)$ of smooth ...
- 6,367
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,848
1
vote
0
answers
177
views
Eigenvalues and eigenvectors of non-symmetric elliptic operators
We know that the operator $A=\Delta$ with domain $D(A)=\{u\in W^{2, 2}(\Omega): u=0 \ \ \text{on } \partial\Omega\}$ (say $\Omega$ is a bounded nice domain) has eigenvalues $\lambda_1>\lambda_2\ge \...
- 11
0
votes
1
answer
148
views
Proof of vanishing viscosity error rate
Consider the initial value problem associated to the parabolic equation $u^\epsilon_t + u^\epsilon_x = \epsilon u^\epsilon_{xx}$ and the corresponding hyperbolic problem $u_t + u_x = 0$.
What is a ...
- 2,155
4
votes
0
answers
160
views
An estimate for the Benjamin-Ono equation from T. Tao's well-posedness paper
In https://arxiv.org/abs/math/0307289 (eq. (8)),
for a (smooth) solution of the equation $$u_t - uu_x + Hu_{xx} = 0$$
(where $H$ denotes the Hilbert transform) the following estimate is stated (...
- 839
3
votes
1
answer
553
views
Lax-Milgram and the existence of solution to parabolic equation
I think it is standard and common to use Lax-Milgram theorem to prove the existence of solution to elliptic equation. However, can we use it to establish the existence of parabolic equation? I do not ...
CommunityBot
- 1
8
votes
1
answer
380
views
Lavrentiev phenomenon between $C^1$ and Lipschitz
Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere)
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that
$$
\inf_{y\in Lip([a,b])}F(y)<\inf_{...
- 6,367
6
votes
1
answer
376
views
Lavrentiev phenomenon between $C^1$ and $C^2$
Does there exist a (onedimensional) functional that exhibits the Lavrentiev phenomenon between $C^1$ and $C^2$ that is
$$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt \quad\text{or possibly}\quad F(y)=\int_a^b f(...
- 6,367
1
vote
0
answers
79
views
Reference for smoothness of Nemytskii operator on fractional Sobolev spaces
Let $\varphi:\mathbb{R}\to\mathbb{R}$ be smooth and bounded (together with all of its derivatives). Define the operator
$$
\big(N_\varphi x\big)(t)=\varphi\big(x(t)\big)
$$
for $x\in H^s(T^d)$, the ...
- 93
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 ...
- 159
0
votes
0
answers
70
views
Normal vector to a level set and fractional Laplacian
Let $U=\{u\le0\}$ and $\partial U=\{u=0\}$. Suppose $\nabla u$ does not vanish on $\partial U$. Then the (canonical extension of the) normal vector field to $\partial U$ (pointing to the interior of $\...
- 99
3
votes
2
answers
129
views
Link between controllability of ODEs and controllability of transport equations
What is the relationship between the controllability of the ODE
$$\dot x(t) = v(x) + u(t)$$
using a control $u$ and the controllabilty of the transport equation
$$\rho_t(t,x) + \mathrm{div}(v(x) \rho(...
- 2,281
1
vote
0
answers
96
views
BV estimate for conservation law $u_t +( v(x)f(u))_x=0$
Let $u_0 \in BV(\mathbb R)$ and $f:\mathbb R \to \mathbb R$ be Lipschitz. Consider the Cauchy problem
$$
\begin{align*}
u_t +( v(x)f(u))_x&=0\\
u(0,\cdot) &= u_0
\end{align*}
$$
What is the ...
- 303
7
votes
3
answers
2k
views
Collections of examples and counterexamples in (real, complex, functional) analysis, ODEs and PDEs
What books collect examples and counterexamples (or also "solved exercises", for some suitable definition of "exercise") in
real analysis,
complex analysis,
functional analysis,
ODEs,
PDEs?
The ...
- 6,367
3
votes
3
answers
383
views
Density of a functional space
Let $D$ be a bounded domain of $\mathbb{R}^n$ with smooth boundary $\partial D$. Is the following subspace dense in space $L^2(D)\times L^2(\partial D)$:
$$\{(f,f\rvert_{\partial D}) : f\in C^\infty(\...
- 6,367
1
vote
0
answers
126
views
Estimates for the Benjamin-Ono equation
Consider the Cauchy problem for the Benjamin-Ono equation
$$u_t + \frac{1}{2}(u^2)_x + \alpha \mathcal H(u_{xx}) - \beta u_{xx} = 0, \qquad t>0, \ x \in \mathbb R,$$
where $\mathcal H$ is the ...
- 839
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
0
answers
60
views
Decay of solution for linear system with damping
Let us consider the following linear system with damping:
$$
\begin{cases}
u_t - u_x = -\frac{1}{2} (u+v)\\
v_t + v_x = -\frac{1}{2} (u+v)
\end{cases}
$$
Let's write the solution as $w=(u,v)$ ...
- 839
2
votes
1
answer
432
views
Second-order elliptic regularity with rough coefficients
Let $\Omega \subseteq \mathbb R^n$ be a bounded open set with smooth boundary. Let $k\geq 1$, $\alpha\in(0,1)$, $a_{ij},b_i,f \in C^{k,\alpha}(\Omega)$ for $i,j=1,...,n$, and define the operator
$$L = ...
- 2,494
4
votes
1
answer
336
views
Fundamental gap for Schrödinger operator
Consider $ \Omega$ a smooth bounded domain in $ \mathbb R^N$.
I am interested in the gap between the first and second eigenvalues of the operator $ -\Delta + V(x)$. Let $ \phi_1>0$ and $ \phi_2$ ...
CommunityBot
- 1
1
vote
0
answers
260
views
Closure of smooth functions in Besov spaces
For real numbers $\alpha > \beta$, we know there is a continuous embedding of Besov spaces $B^\alpha_{\infty,\infty}\subset B^\beta_{\infty,\infty}$. We take the closure of the intersection $C^{\...
- 253
1
vote
0
answers
127
views
Laplacian on the sphere and Moving Plane method
Consider the sphere $\mathbb{S}^n$ as a subset of $\mathbb{R}^{n+1}$, thus $\mathbb{S}^n=\{\omega\in \mathbb{R}^{n+1},\sum_{i=1}^{n+1}\omega_i^2=1\}.$
I am interested in studying positive solutions to ...
- 537
1
vote
0
answers
95
views
Existence of $C^{2, \alpha}$ solution to $a^{ij}(x,u,Du)D_{ij}u+b(x,u,Du)=0$ using the Leray–Schauder theorem in "Elliptic PDE" of Q. Han & F. Lin
In this part of the book "Elliptic PDE" of Qing Han & Fanghua Lin, the Leray–Schauder existence theorem is applied to prove the existence of $C^{2, \alpha}(\bar{\Omega})$ solution.
For $\...
- 63.9k
0
votes
1
answer
239
views
A proof for the existence of smooth solution of PDE in form $\Delta u=f(x, u)$ in Michael E. Taylor's book Partial Differential Equations III
This part is from page 107 in Michael E. Taylor's book Partial Differential Equations III.
In this part, we want a proof for the existence of smooth solution of the PDE
$\Delta u=f(x, u)$ on $U$ with ...
- 39.1k
6
votes
3
answers
1k
views
Orthonormal basis in $W^{1,2}([0,1])$
Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
- 11
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} \...
- 128k
4
votes
1
answer
317
views
Taylor coefficients of Hadamard product
I imagine this to be a very classical question in complex analysis:
Consider the Hadamard product
$$g(\mu) = \prod_{n=1}^{\infty}E_1(\mu z_n),$$
where $E_1(z):=(1-z)e^z$ is the first elementary ...
- 17.2k
4
votes
1
answer
201
views
Spectrum Cauchy-Euler operator
A Cauchy-Euler operator is an operator that leaves homogeneous polynomial of a certain degree invariant, named after the Cauchy-Euler differential equations
We consider the operator
$$(Lf)(x) = \...
- 52.3k
2
votes
1
answer
160
views
Elliptic equation on square with periodic boundary values for the solution and it's partial derivatives
Suppose that $\Omega=[0,1]^2$. I will say that a real valued function $u$ on $\Omega$ satisfies periodic boundary values if
$$u(x,0)=u(x,1), \;u(0,y)=u(1,y),\;\;\;\text{ for all }x,y\in[0,1].$$
Now ...
- 6,367
10
votes
1
answer
576
views
General validity of separation of variables
Let $L$ be any differential operator (not necessarily linear).
Given initial conditions and boundary conditions (of any type), I am interested in general statements of the form:
Given a boundary ...
- 21.5k
0
votes
1
answer
162
views
Iterated integrations by parts using the fractional Laplacian
Let $u \in C^\infty_c(\mathbb{\Omega})$ and $\varphi$ be an eigenfunction of the fractional Laplacian $(-\Delta)^s$ in $\Omega$ with eigenvalue $\lambda$. In what sense, if any, is it true that
$$\...
- 17.2k
2
votes
1
answer
196
views
Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in $\mathbb R^n \setminus \Omega$
Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem
$$
(1) \quad \begin{cases}
(-\Delta)^s u +\lambda u= 0 & x \in \Omega \\
u = 1 & x \in \mathbb R^n \...
- 161
0
votes
0
answers
129
views
Bounding trace operator from below
In a paper, I've read the following thing. Here $\Omega$ is a smooth domain
From the standard trace theorem we know there exists a bounded linear operator $$\gamma: H^1(\Omega) \rightarrow H^{\frac{1}...
- 6,367
7
votes
1
answer
342
views
Does the pointwise mean value property imply harmonicity?
Assume $u:\Omega\subset\mathbb{R}^d\to\mathbb{R}$ is continuous and satisfies the property:
for every $x\in \mathbb{\Omega}$ there is $r_x>0$ such that
$$
u(x)=\frac{1}{|B(x,r_x)|}\int_{B(x,r_x)} u(...
- 12.9k
14
votes
2
answers
536
views
Reference Request: Elliptic differential operators in the Fréchet setting
Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
- 5,824
4
votes
0
answers
174
views
Techniques for showing non-degeneracy results (PDE)
Motivation:
Consider the equation,
$$-\Delta u = u^p$$
in $\mathbb{R}^n$ for $n\geq 3$ and $p=2^*-1.$ Then we know that this equation has unique positive solutions given by functions of the form $U_{a,...
- 537
5
votes
1
answer
453
views
Seeking for references on some PDEs
This is not a technical mathematical question. I came across some PDEs with no references nor their names.
$$-\Delta u + \int_\Omega udx = f\qquad \hbox{in $\Omega$} \label{1}\tag{Eq1}$$
The above ...
- 313
2
votes
0
answers
86
views
Continuity of the entropy of the solution of a parabolic PDE at $t=0$
Consider the following initial value problem for a parabolic PDE :
$$\begin{cases}
\textrm{div}\big(A\,\nabla u(t,x) + b(x)\, u(t,x)\big) \,=\,\partial_t u(t,x) \quad x\in\mathbb R^d\,,\ t>0 \\[4pt]...
- 311
1
vote
1
answer
141
views
Averaging and fractional Laplacian
Let $u,\phi:\mathbb R \to \mathbb R$ be smooth functions and $\Omega_\epsilon$ be a bounded domain in $\mathbb R$ with diameter $\epsilon>0$ (consider for exaple the ball $B_{\epsilon/2}(0)$). Is ...
CommunityBot
- 1
7
votes
2
answers
920
views
Exotic spectrum of Laplace operator
Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator,
it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...
- 6,367
1
vote
0
answers
131
views
Results on the eigenspace of weighted elliptic eigenvalue problems
I am considering the following eigenvalue problem in $\Omega=\mathbb{R}^n_+$
$$-\operatorname{div}(a(x)\nabla \varphi) = \lambda a(x)w(x)\varphi$$
where the weights $a>0$ and $w\in L^{\infty}$ (and ...
- 537
2
votes
1
answer
173
views
Semi-linear elliptic problem, energy functionals, Fréchet derivatives and the Newton method in Banach spaces
Suppose $\Omega\subset\mathbb{R}^n$ is a regular open set, $f\in L^2(\Omega)$ and consider the following elliptic problem.
$$-\Delta u + u=f'(u) , \;\;u_{|\partial \Omega}=0,$$
where $f'$ is the ...
- 597
2
votes
2
answers
132
views
Density of traces of solutions to an elliptic equation
Let $D_1$ be a domain with smooth boundary and assume that $D_1$ is a proper subset of $D_2$ which is itself a bounded domain in $\mathbb R^n$ with a smooth boundary. Assume also that $D_2\setminus ...
- 684
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$ ...
- 46
2
votes
0
answers
84
views
Method of characteristics and explicit formula for an IBVP for the transport equation
Let us assume $c:(0,1) \to (\epsilon,+\infty)$ and consider the PDE
$$
\begin{cases}
u_t+c(x)u_x = 0, \\
u(0,x) = g(x) \\
u(t,0) = f(t)
\end{cases} \qquad (t,x) \in (0,T)\times(0,1) \label{1}\tag{$\...
- 6,367
2
votes
0
answers
229
views
Weighted Sobolev norm in terms of Spherical harmonics coefficients
Let $M = [1,\infty) \times S^2$.
Consider the weighted Sobolev space $H^k_{\delta}(M)$ with the Sobolev norm:
$$\lVert u \rVert_{k,\delta}^2 := \sum_{n=0}^k \int_M |D^nu \,r^{n-\delta}|^2 r^{-3} dV $$
...
- 969
2
votes
0
answers
147
views
Dimension of critical set of p-harmonic function
Let $\Omega\subset \mathbb{R}^n$ be a smooth domain and $u\in W^{1,p}(\Omega)$ a non-constant $p$-harmonic function, for some $1<p<n$.
Question: What is the Hausdorff dimension of the critical ...
- 91