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
2
votes
0
answers
183
views
Regularity of elliptic partial differential equation with mixed Dirichlet-Robin boundary condition, to prove $u\in H^{2}(\Omega)$
I have posted this problem on Math Stackexchange but got no reply.
When I deal with the wave equation with dynamical boundary condition, I am confused by the regularity of the following elliptic ...
7
votes
1
answer
977
views
Kernel of the Laplacian + a function
It is known that the kernel of the (non-negative) Laplacian operator on a closed manifold consists of constant functions. I would like to ask if some similar phenomena happens for the modified ...
- 369
0
votes
1
answer
171
views
Looking for English version of a paper of Jean Ginibre
I am in serious need of an English translation for the following paper:
Séminaire Bourbaki by Jean Ginibre, Le problème de Cauchy pour des EDP semi-linéaires
périodiques en variables d’espace, d'après ...
- 159
1
vote
1
answer
112
views
How to prove $ \|u\|_{L^{\infty}}\leq C\|\partial_1\square u\|_{L^1} $ for any $ u\in C_0^{\infty}(\mathbb{R}^{1+2}) $?
It comes from estimates for wave equations.
For any $ u=u(t,x)\in C_{0}^{\infty}(\mathbb{R}^{1+2}) $, which is a smooth compactly supported function, prove that
$$
\|u\|_{L^{\infty}(\mathbb{R}^{1+2}\...
- 1,219
3
votes
1
answer
211
views
How to use comparison principle to prove the following inequality about Laplace equation?
Assume that $\Omega$ is a bounded connected domain and $\partial \Omega \in C^{\infty}$. Denote $\Gamma_1,\Gamma_2,\cdots,\Gamma_n$ are $n$ connected components of $\partial\Omega$. This notation ...
- 171
0
votes
0
answers
75
views
Morse functions on subset $\bar \Omega$ of $\mathbb {R}^d$ and its level sets
Let $f$ be a $C^{2}(\bar{\Omega})$ Morse function, where $\Omega$ is a bounded open set of $\mathbb{R}^d$: this means that
$$
\begin{cases}
f(x) = 0 \\
\nabla f (x) \neq 0
\end{cases}\text{ on }\...
- 61
1
vote
0
answers
105
views
Friedrichs extension of the Laplacian from a smooth subspace and density of its eigenbasis in the Frechet topology of the subspace as well?
Let $C^\infty_\text{div}(\mathbb{T}^3)$ be the "real" Frechet space of periodic, divergence-free smooth vector fields on $\mathbb{R}^3$. That is, $\mathbb{T}^3$ is the $3$-dimensional torus.
...
- 3,477
2
votes
0
answers
80
views
$ \varepsilon $-regularity, harmonic maps vs harmonic heat flow
Let $ \Omega\subset\mathbb{R}^n $ be a bounded domain with smooth boundary and $ (N,h)\subset\mathbb{R}^L $ is a smooth compact Riemannian manifold. Consider the local minimizer $ u\in W^{1,2}(\Omega,...
- 1,219
2
votes
0
answers
132
views
Linear elliptic problems: Are gradient estimates preserved after perturbation?
(This question is a duplicate from here)
We start with the linear elliptic PDE
$$
-\operatorname{div}(A\nabla u)=f \quad\text{in}\ \Omega,\\
u=0 \quad\text{on}\ \partial\Omega
$$
We assume that $\...
- 141
1
vote
1
answer
136
views
Reference and hint for L^p estimates of the gradient of solutions to parabolic equation in divergence form
Considering a weak solution $u\in L^2(0,1;H^1(B_1))$ with $\partial_t u \in L^2(0,1;H^{-1}(B_1))$ to
$$\partial_t u-\operatorname{div}(A(x,t)\nabla u)=f+\operatorname{div}(F) \hspace0.5cm \text{in} \...
- 81
1
vote
1
answer
136
views
Is the extension (dual restriction) operator on any smooth hypersurface a solution to some PDE?
We know that the extension operator on paraboloids $\widehat{fd\sigma}(t,x)=\int_\mathbb{R}^nf(\xi)e^{i(t|\xi|^2+x\cdot\xi)}d\xi$ is a solution to the homogeneous Schrodinger equation with initial ...
- 275
1
vote
0
answers
95
views
Non-existence of classical solutions of Hardy PDE
On the paper "On the Cauchy Problem for Reaction-Diffusion Equations" Wang studies the Hardy-Hénon equation
$$
\begin{cases}
u_t - \Delta u = |\cdot|^{l}u^{p}& \mbox{ in } \mathbb{R}^n ...
- 677
7
votes
1
answer
405
views
Convex solutions of the Poisson equation
Let $D$ be a planar, bounded, convex open domain. Given a positive function $f:D\to(0,+\infty)$, let us consider the Poisson equation
$$\Delta u=f\quad\hbox{in }D.$$
Not specifying any boundary ...
- 52.3k
1
vote
0
answers
62
views
Reference request; fractional Laplacian; boundary regularity
Consider $B_2^+$ the half ball in $R^N$ and consider
$ (-\Delta)^s u = f(x) $ in $B_2^+$ with $ u=0$ outside. Is there any references where someone tries to use an odd extension of $u$ across $ x_N=...
- 1,385
8
votes
1
answer
552
views
Dirichlet-to-Neumann map on Lipschitz domains
Let $\Omega$ be a bounded domain with a Lipschitz boundary. Consider the Dirichlet-to-Neumann map $\Lambda:H^{\frac{1}{2}}(\partial \Omega)\to H^{-\frac{1}{2}}(\partial \Omega)$ defined via
$$ \langle ...
- 4,115
2
votes
1
answer
308
views
Gradient descent relaxation dynamics of a Euler-Lagrange equation
I want to minimize the functional
$$
F=\int{L(u)}dx,
$$
where $L= u_x^2-u^2$ is the Lagrangian function of the functional. Even if its Euler-Lagrange equation is easily found and solved, I want to try ...
- 159
1
vote
1
answer
66
views
Estimate of minimum of the Poisson integrals corresponding to a convergent Hausdorff sequence of smooth bounded domains from below
Let $\{\Omega_{j}\}_{j\in\mathbb{N}}$ be a sequence of smooth bounded domains in $\mathbb{C}^{n}$ such that $\Omega_{j}$ converges to a smooth bounded domain $\Omega$ in the sense that the defining ...
- 63
3
votes
1
answer
466
views
Equivalence between two fractional Sobolev spaces
For $s \in (0,1)$, we consider the spectral fractional Laplacian
\begin{align}
(-\Delta)^{-s}u = \sum_{k=1}^{\infty}\lambda_k^{-s}(\phi_k,u)_{L^2}\phi_k
\end{align}
where
\begin{align*}
\begin{cases}
...
- 161
2
votes
0
answers
116
views
Spectrum of 'complexified' Laplace operator
Let $(M^n,g)$ be a closed Riemannian manifold. Let $\Delta$ be the Laplace–Beltrami operator acting on scalar functions defined on $M$, and let
$\lambda_1 < \lambda_2 \leq \cdots$ be its spectrum.
...
- 5,048
2
votes
1
answer
84
views
Pressure integrated by parts in finite element method
Most FEM texts or tutorials apply FEMs on diffusion equations where the 2nd spatial derivative is integrated by parts during weak formulation. For convection diffusion equations, there is a first ...
- 159
3
votes
2
answers
225
views
Change of variables for obtaining a unitary group
Consider the following NLS:
$$i u_t + \Delta u- 2 \operatorname{Re} u = F(u),$$
where $F(u):=(u + \bar{u} + |u|^2)u.$
In Scattering for the Gross–Pitaevskii equation, the authors S. Gustafson, K. ...
- 159
0
votes
1
answer
72
views
Orthogonality to a one parameter family of eigenfunctions
Let $\rho>0$ be a smooth realvalued function such that $\rho=1$ outside the unit interval $(-1,1)$. For each $t>0$, let us denote by $\{\lambda_n(t)\}_{n=1}^{\infty}$ and $\{\phi_n(t;x)\}_{n=1}^{...
- 4,115
0
votes
2
answers
275
views
The uniqueness of Barycenters in the Wasserstein space
I am reading the paper Barycenters in the Wasserstein space by Martial Agueh and Guillaume Carlier. In Proposition 3.5, they prove the existence and uniqueness of
$$\nu \mapsto \sum_{i=1}^p \frac{\...
- 288
1
vote
1
answer
162
views
Existence theorem of weak solutions of $u_t+f(u)u_x=0$
Consider this PDE:
$\begin{cases}u_t+f(u)u_x=0\\ u(x,0)=\varphi(x)\end{cases}$
Has this PDE weak solutions whatever is $f$ or $\varphi$? I want to find an existence theorem and bibliography about that?...
- 189
1
vote
0
answers
97
views
Oscillatory integrals and regularity
Let $U\subset\mathbb{R}^{d}$ be open and $N\in\mathbb{N}$. Furthermore, let $a\in\mathcal{S}^{m}_{\rho,\sigma}(U\times\mathbb{R}^{N})$ be a symbol and $\Phi\in C^{\infty}(U\times (\mathbb{R}^{N}\...
- 1,171
1
vote
0
answers
65
views
A parametrix construction for heat boundary value problem using Fourier transformation
Let $\Omega$ be a smooth bounded open subset in $\mathcal{R}^{d}$, with $d \geqslant 3
$ and $T>0$. Consider the linear parabolic initial Dirichlet boundary value problem with $f\in H^{-1}(\Omega)$...
- 61
4
votes
0
answers
310
views
Pohozaev identity for linear equations
For $-\Delta u =0$, the Pohozaev identity on say $B_1$ says
$$ \int_{S_1} |u_T|^2 \,d\sigma = \int_{S_1} |u_N|^2 \,d\sigma + (n-2) \int_{B_1} |\nabla u|^2 \ dx$$
Here $u_T$ are the tangential ...
- 455
2
votes
1
answer
158
views
Hyperbolic system of PDEs with elliptic-like boundary contions
Let $\Omega_1$ and $\Omega_2$ be (simply connected) domains on $\mathbb{R}^2$, with coordinates $(x,y)$ and $(X,Y)$ respectively. Given a (smooth) function $Z(X,Y)$ such that $Z\left(\partial \Omega_2 ...
- 134
2
votes
0
answers
75
views
On Dirichlet eigenfunctions of a domain
Given any bounded domain $\Omega\subset \mathbb R^n$, $n\geq 2$, with a Lipschitz boundary, let $\{(\lambda_k,\phi_k)\}_{k\in \mathbb N}$ be the Dirichlet eigenvalues and eigenfunctions of $-\Delta$ ...
- 4,115
1
vote
1
answer
705
views
Calculating the eigenvalues of the Laplacian numerically
I am trying to find the eigenvalues of the Laplacian operator, or in other words, solve the Helmholtz equation
$\nabla^2f=\lambda f$
on a compact 2D domain (comes from a quantum mechanics particle-in-...
- 3,738
1
vote
0
answers
96
views
Representation formula for the continuity equation on a separable Hilbert space
The following is an informal question for which I'd like to (ideally) find a reference. I'm quite a novice in this area but would be happy to find a reference to a theorem along the following lines (...
- 111
2
votes
1
answer
270
views
A possible characterization of subharmonic functions
Let $\Omega\subset \mathbb{R}^n$ be an open subset. Let $u\colon \Omega\to [-\infty,+\infty)$ be an upper semi-continuous function.
If $u$ is subharmonic then for any point $x\in \Omega$ and any $C^2$-...
- 21.8k
3
votes
2
answers
264
views
Regularity of eigenfunctions of a self-adjoint differential operator in Gilbarg-Trudinger
Let $\Omega$ be a bounded smooth domain,
$Lu = D_i \left( a^{ij} (x) D_ju \right)$, and two constants
$\lambda, \Lambda > 0$. Suppose the coefficient $a$ is measurable,
symmetric, and satisfies
$$
...
- 33
3
votes
1
answer
577
views
A constant ratio of integrals? Part II
This question is a follow up on my latest MO post which was addressed kindly by Iosif Pinelis. What is new here is that I need to correct the assumption by including a missing hypothesis. The context ...
- 43.2k
9
votes
1
answer
602
views
When does the eikonal equation $\lvert Du \rvert^2 = f$ admit a local solution?
Let $f$ be a smooth function defined on the unit disc $D \subset \mathbf{R}^2$ with
\begin{equation}
f \geq 0 \text{ in $D$ and } f(0) = 0.
\end{equation}
This is allowed to have a degenerate minimum ...
- 5,048
0
votes
0
answers
52
views
Coupled Kazdan-Warner type equation
Famous work of Kazdan and Warner shows that given $u\geq 0$ and a constant $c>0,$ the following equation in $f$ has a unique solution:
\begin{align*}
\Delta f+ u e^f=c
\end{align*}
I am interested ...
- 954
2
votes
0
answers
141
views
Approximating solutions to Monge-Ampere from optimal transport plans
I am interested in finding numerical solutions to a Monge-Ampere type equation for applications in physics. Due to the close connection between Monge-Ampere and optimal transport and the well ...
- 956
11
votes
2
answers
635
views
A singular differential equation
In a neighbourhood of $0$ in $\mathbb{R}^n$ a smooth function $h=h(x)$, $h(0)=0$, is given. Take arbitrary real numbers $w,\lambda_1,\dots,\lambda_n\in\mathbb{R}$.
The problem is to find a smooth ...
- 199
1
vote
1
answer
169
views
Higher integrability for Sobolev functions - part 2
This is a follow-up to the question asked in Higher integrability for Sobolev functions
Updated question: Given the very helpful counterexamples and the ideas, I have the following question: Suppose ...
- 455
1
vote
0
answers
55
views
Comparison principle for porous medium equation in Fourier variables
Let $V:[0,\infty) \to[0,\infty)$ be convex, $C^2$ with $V(0)=0$. Define $F(u): = uV'(u)-V(u) $. Let $v\in L^1 (\Bbb R^d)$, $v\geq0$ so that $F\circ v\in L^1 (\Bbb R^d)$. For fixed $\varepsilon>0$, ...
- 1,101
5
votes
1
answer
272
views
Explicit constants for elliptic a priori estimates
Let $V$, $W$ be vector bundles over a compact Riemannian manifold $M$ and let $F$ be a smooth elliptic operator of order $k$ from $V$ to $W$.
"Standard elliptic theory" then gives us the ...
- 577
3
votes
0
answers
62
views
Geometric properties of the unique solution of an elliptic BVP involving the Lie derivative of the metric by a vector field
Setting
Let $(M,g)$ be a compact Riemannian manifold with smooth boundary, and let $\nabla$ be its associated Levi-Civita connection. Consider the following formally self-adjoint, second order linear ...
- 808
2
votes
0
answers
62
views
Well-posedness or existence for a Poisson problem in Orlicz spaces
I know that the problem
\begin{equation}
\Delta_p u = f
\end{equation}
make sense if $f \in L^q$ with $n/p<q<n$ and that is there a existence theory for
$$
u_t -\Delta_p u = f
$$
For a given ...
- 191
21
votes
1
answer
2k
views
Algebraic microlocal analysis and nonlinear PDE
Though originating in the study of linear partial differential equations, microlocal analysis has become an invaluable tool in the study of nonlinear pde. Of particular importance has been the ...
- 683
4
votes
1
answer
379
views
A constant ratio of integrals? Part I
Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$.
For $0<r\leq1$, consider the average of its Dirichlet integral
$$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
- 43.2k
2
votes
1
answer
154
views
Function monotony between [0,T] and $L^2$
Let $\Omega\subseteq\mathbb{R}^N$ be a bounded and smooth domain. If $z:[0,T]\to L^2(\Omega)$ is a function in $H^1([0,T],L^2(\Omega))$ with the property that $z'(t)(x):=z'(t,x)>0$ a.e. on $\Omega$ ...
- 1,759
1
vote
0
answers
78
views
Are eigenfunctions of the Dirichlet problem for the Laplace equation uniformly bounded?
Let $Q\subset \mathbb R^n$ be a bounded domain with boundary $\partial Q\in C^\infty$ and $\varphi_1,\varphi_2,\ldots$ are eigenfunctions of the Dirichlet problem for the Laplace equation in $Q$ ...
- 2,715
3
votes
0
answers
190
views
A non-linear PDE $v^2v_t=v_{xx}v-v_{x}^2$
PS : Indeed, there is a typo in my equation. Thanks to Zachary's observation.
Consider a PDE for $v: [0,1]^2\to (-\infty,0]$ satisfying
$$v_t(t,x) = \frac{v_{xx}(t,x)v(t,x)-v_{x}(t,x)^2}{v(t,x)^2},\...
- 1,399
1
vote
0
answers
47
views
Question on a mixed-norm estimate
I am currently reading the paper Global existence and scattering for rough solutions to generalized nonlinear Schrödinger equations on $\mathbb{R}$ by Colliander, Holmer, Visan, Zhang. In this article,...
- 890
1
vote
0
answers
96
views
Wave equation on $[0,1]$ with mixed boundary conditions
Consider the wave equation $u_{xx}-u_{tt}=0$ on the unit interval $x\in[0,1]$. Take mixed boundary conditions ($\alpha_{1,2}^2+\beta_{1,2}^2 \neq 0$)
\begin{align*}
\alpha_1 u(0,t) + \beta_1u_x(0,...
- 439