Questions tagged [ap.analysis-of-pdes]
Partial differential equations (PDEs): Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.
4,466 questions
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
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$....
- 128k
1
vote
0
answers
50
views
Odd extension of radial solutions of elliptic pde
I have a question about trying 'odd' like extension to obtain some sign changing solutions of an elliptic equation.
Lets first consider the 1 dimensional problem. To solve a sign changing solution of ...
- 1,385
1
vote
1
answer
258
views
Classical solution of fractional laplacian
What is meant by a classical solution of a fractional laplacian in $ (-\Delta)^su= f(u)$ in $\mathbb{R}^N$ with no condition at infinity? If one can show that $u$ is a weak solution of the above ...
- 12.9k
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
2
votes
0
answers
77
views
Smooth solutions to the Neumann problem defined on the closure of the domain
Does the Neumann-problem for the Laplace equation on a smooth bounded domain $\Omega \subset \mathbb{R}^{3}$ with smooth boundary data $g$ such that
\begin{equation}
\int_{\partial \Omega}g \, d \...
- 351
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 ...
- 547
2
votes
0
answers
375
views
Caccioppoli inequality in $ \mathbb{R}^2 $
Let $ \Omega\subset\mathbb{R}^d $ be a Lipschitz domain and $ A=(a_{ij}(y)):\Omega\to\mathbb{R}^{d\times d} $ be a matrix valued function with uniformly elliptic conditions i.e. $ \lambda|\xi|^2\leq ...
- 1,219
3
votes
1
answer
148
views
Positive first eigenvalue; operator satisfies maximum principle
I am attempting to understand a paper. They have $u$ is a stable smooth solution of $ -\Delta u = f(u)$ in $ \Omega$ with $ u=0$ on $ \partial \Omega$ where $\Omega$ is a bounded domain in Euclidean ...
- 2,494
2
votes
1
answer
81
views
Parabolic system with coupling in the diffusion
Let's consider the parabolic system
$$
\begin{cases}
u_t - \Delta u -a\Delta(uv) = 0 \\
v_t - \Delta v - b\Delta(uv) = 0
\end{cases}
$$
with $a,b >0$. What is the name of this system? Are there ...
- 36
5
votes
1
answer
339
views
Finding vector fields on $S^2$ with equal divergence
Let $\mathfrak{X}_{CK}^{\perp}$ be the space of vector fields on $S^2$ that are $L^2$-orthogonal to conformal Killing vector fields. Let $\mathfrak{X}_{CK}$ be the 6-dimensional space of conformal ...
- 7,197
6
votes
1
answer
296
views
Solving $\Delta \text{tr}(h) - \mathrm{div}(\mathrm{div}(h)) + \text{tr}(h) = f$ on $S^2$
$\DeclareMathOperator\ddiv{div}\DeclareMathOperator\tr{tr}\newcommand{\conf}{\mathrm{conf}}$Consider this PDE on a symmetric tensor $h$ on $S^2$:
$$\Delta \text{tr}(h) - \ddiv(\ddiv(h)) + \tr(h) = f$$
...
- 808
0
votes
0
answers
126
views
Hessian estimates of eigenfunctions without Bochner
let $\Omega$ be a bounded domain in a Riemannian manifold $(M,g)$. Consider the Dirichlet eigenvalues and eigenfunctions of Laplacian on $\Omega$, that are, the $\lambda_i>0$ and $\phi_i\in H^{1}_0(...
- 193
3
votes
1
answer
146
views
Dirichlet to Neumann operator for a nonlocal ODE
Consider the following nonlocal ODEs on $[1,\infty)$.
#1)
$$\begin{align}
r^2 f''(r) + 2rf'(r)-l(l+1) f(r) &= -\frac{(f'(1) + f(1))}{r^2}\\
f(1) &= \alpha \\
\lim_{r\to \infty} f(r) &= 0
\...
- 39.1k
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
2
votes
0
answers
113
views
Solve a coupled PDE in a rectangle
We consider a coupled PDE in a rectangle $\Omega=(-1,1)\times(-1,1)$. For the simplicity, we assume that the functions are periodic in $x_{1}$ direction.
\begin{cases}
\nabla\cdot u=f_{1},\ & \...
- 151
2
votes
1
answer
64
views
Convergence of an infinite sum, whose terms are supported in balls, in Besov space
Suppose we have a ball $B \subset \mathbb R^n$ and $\alpha >0$, and $\{ u_j\}_{j\geqslant-1} $ is a sequence of smooth functions such that the Fourier transforms $\mathcal{F}(u_j) $ are supported ...
- 253
6
votes
1
answer
351
views
Fredholm theory of non elliptic operators
In this question we search for a big list of non elliptic operators whose Fredholm index is finite or whose Fredholm theory is extensively discussed. The main motovation is the conference linked in ...
- 2,821
2
votes
0
answers
89
views
Elliptic pde and boundary layer estimates
I have a question that is related to finding some boundary layer estimates. I am sure there is a general method for this but I don't know it.
I will pose the problem in two dimensions (but here there ...
- 6,367
2
votes
0
answers
100
views
Existence and uniqueness for $\Delta f + \lambda f = g$ on $S^2$ for $\lambda>0$ [closed]
Consider the PDE
$$\Delta f + \lambda f = g$$
on $S^2$, where $\Delta$ is with respect to the round metric, $g \in L^2(S^2)$ and $\lambda>0$. I wish to study the existence and uniqueness of this ...
- 969
4
votes
1
answer
821
views
Looking for access to McKean's original paper?
I'm looking for the PDF version/scan of Henry P McKean Jr.'s paper on propagation of chaos. The reference is as follows -
Propagation of chaos for a class of non-linear parabolic equations., In ...
CommunityBot
- 1
0
votes
0
answers
80
views
Convergence of a infinite sum in Besov space
Suppose we have an annulus $A \subset \mathbb R^n$, which is the set $\{x|0<r \leqslant\|x\| \leqslant R\}$, $\alpha \in \mathbb R$ and $\{ u_j\}_{j\geqslant-1} $ be a seqence of smooth functions ...
- 253
2
votes
0
answers
181
views
"Equivalent" reference to "Quelques méthodes" by J-L. Lions
I've just started learning about some methods to deal with parabolic equations, and in a lot of papers they refer to the book "Quelques méthodes de résolution des problèmes aux limites non ...
- 63.9k
1
vote
0
answers
68
views
Convergence of Sobolev traces over a sequence of boundaries
Let $u$ be a function in the Sobolev space $W^{\frac 3 2, 2}(\mathbb R^n)$.
Let $\Sigma\subset \mathbb R^n$ be the graph of a Lipschitz function $f:B_{n-1}(0,1) \subset \mathbb R^{n-1} \rightarrow \...
- 393
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
8
votes
2
answers
350
views
Compressible Ebin-Marsden?
In Ebin and Marsden's paper Groups of Diffeomorphisms and the Motion of an Incompressible Fluid, there is a footnote on the first page indicating that non-homogeneous cases and the case of ...
- 5,824
1
vote
1
answer
1k
views
How to prove that the L-infinity norm is smaller than the Besov norm?
Suppose we have a distribution $u\in B_{\infty,\infty}^\alpha$, the Besov space with regularity coefficient $\alpha>0$. How to prove the folowing inequality?
$$
\|u\|_{L^\infty}\leqslant c\|u\|_{B_{...
- 16.2k
1
vote
0
answers
123
views
A problem about using the moving plane method to prove radial symmetry of the $C^{2}$ global solution of a elliptic PDE in $R^{2}$
Recently I'm learning the use of moving plane method to prove radial symmetry of $C^{2}$ global solution of a PDE in $R^{2}$, and I'm reading a paper where this method is applied: precisely I'm ...
- 6,367
6
votes
1
answer
379
views
On the fundamental solution for elliptic PDE
In the well known paper by Littman-Weinberger-Stampacchia "Regular points for elliptic equations with discontinuous coefficients", the authors were able to prove the validity the following ...
- 63.9k
5
votes
1
answer
161
views
Asymptotics for repulsive aggregation(-diffusion) equation
Consider the aggregation-diffusion equation
$$
\frac{\partial \rho}{\partial t} = \nabla (\rho \nabla(W\star \rho)) + \nu \Delta \rho,
$$
where $W:\mathbb{R}^d \to \mathbb{R}$ is a twice continuously ...
- 134
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
0
answers
173
views
Converting equation on the sphere to $\mathbb{R}^n$
Consider the following equation $-\Delta_{\mathbb{S}^n} u = u$ where the $(\mathbb{S}^n,g)$ where $g$ is the usual metric induced by the inverse stereographic projection $S:\mathbb{R}^n\to \mathbb{S}^...
- 547
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
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|^...
- 547
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
2
votes
0
answers
118
views
Some problems about energy estimates of elliptic equation
Recently I am reading a book of elliptic equations. In the beginning there is a famous Caccioppli inequality for weak solutions. The theorem is stated as follows
Suppose that $ u\in H^1(B(0,1)) $ ...
- 1,219
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.4k
2
votes
0
answers
315
views
A regularity result for semilinear PDE of the form $\Delta u=f(x, u)$ in Michael E. Taylor's book "Partial Differential Equations III"
Let $M$ be a bounded domain in $\Bbb R^2$: under the assumption that
$$
\partial_{u} f(x, u)=0 \text { for }|u| \geq K\label{1}\tag{1.6}
$$
Michael E. Taylor said that (proposition (1.3))
For $k=1,2, \...
- 6,367
7
votes
1
answer
368
views
Higher regularity of solutions of non-linear elliptic PDE
Let $\Omega\subset \mathbb{R}^n$ be a bounded domain with infinitely smooth boundary. Let $u\in C^2(\bar \Omega)$ be a solution of the Dirichlet problem for the non-linear equation
\begin{eqnarray}
F(...
- 4,899
9
votes
1
answer
734
views
Calderon-Zygmund decomposition on manifolds?
The classical Calderon-Zygmund decomposition says that if $f\geq 0$ is $L^1$ on a cubes $B$, with average value $\alpha$, then there is a sequence of disjoint cubes $B_j$, such that the average of $f$ ...
- 63.9k
2
votes
0
answers
50
views
Rescaling an elliptic system
I have a basic question regarding rescaling an elliptic system when trying to get apriori estimates.
Consider an elliptic system say of the form
$$-\Delta u(x) = u^{p_1} v^{q_1}, \quad -\Delta v = u^{...
- 1,385
3
votes
0
answers
78
views
An exact solution to a homogeneous linear second order differential eq. with variable coefficients
Our differential equation
Or in words: $$ \Bigg[\frac{\partial^2}{\partial u^2} +\frac{h_+^2 \omega \sin(\omega u) \cos(\omega u)}{1-h_+^2\cos^2(\omega u)} \frac{\partial}{\partial u} + \frac{k_x^...
- 39.9k
2
votes
1
answer
168
views
Simple elliptic pde problem
I have a question that is clearly not research level, but it's confusing me so I will ask anyway.
There must be some little logic flaw I am missing. Take $\Omega$ a bounded smooth domain in $\mathbb ...
- 1,263
5
votes
1
answer
265
views
Parabolic equation with Cauchy boundary condition
Consider the domain $[0,1] \times [0,T]$ and the uniformly parabolic operator $L -\partial_t$ with smooth coefficient. I would like to obtain the existence of the problem
\begin{equation}
\left\{\...
- 52.4k
0
votes
1
answer
1k
views
Euler-Lagrange equation for a functional
What does it mean that the equation:
$$ \text{div}_{x,y}(y^a\nabla_{x,y}u)=0,\quad \text{in }\mathbb{R}^n\times(0,\infty),$$
is the Euler-Lagrange equation for the functional:
$$ J(u)=\int_{\mathbb{R}^...
CommunityBot
- 1
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
0
votes
0
answers
76
views
Regularity of solution to Cauchy problem given regular initial data
Let $f\in L^2_1([0,T]\times \mathbb{T}^m)$ (Sobolev space of maps of regularity $1$, $\mathbb{T}^m$ is the $m$-dimensional torus)
be a solution of a Cauchy problem
$$\frac{d}{dt} f(t) = A f(t)$$
$$f(0)...
- 2,533
1
vote
0
answers
120
views
Explicit expression for the Poisson kernel solving the Dirichlet problem for geodesic balls
Let $X$ be a Riemannian manifold with the Laplace-Beltrami operator denoted by $\mathscr L$ and we look at its geodesic balls say $B$. Let $u$ be a continuous function on the geodesic sphere which is ...
- 201
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.6k
2
votes
1
answer
104
views
How to estimate higher order regularity for wave type equation with time dependant coefficients?
Consider the following wave-type equation,
$$u_{tt}-\frac{2}{t}u_t-\Delta u=g(t,x)$$
where $(t,x)\in [\epsilon, 1]\times \mathbb{R}^3$ for some $\epsilon>0.$ Furthermore assume that $(u,u_{t})=(0,0)...
- 39.1k