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,273
questions
2
votes
0
answers
69
views
Any solution of an evolution problem tends to a steady state in $L^2$?
I have a general question. Suppose that we have the following simple evolution problem $\begin{cases} \dfrac{\partial u}{\partial t}-\Delta u=f(u), & (t,x)\in (0,\infty)\times\Omega\\ \dfrac{\...
- 1,330
0
votes
0
answers
100
views
Mixture of Ornstein-Uhlenbeck operators
Consider a set of isotropic, multivariate Gaussian densities with different centers $\mu_i\in \mathbb{R}^d $, $i\in\{1, \ldots, K\}$, which are denoted $\phi_i(x)$. They all have the same variance ...
- 545
3
votes
0
answers
164
views
$L^{p}$ estimate for $\Delta|\nabla u|$ on a manifold with bounded Ricci curvature
This is a more advanced question than Estimates of $\Delta|\nabla u|$ for harmonic function $u$ .
The Bochner formula and refined Kato inequality tells us that on a Riemannian manifold $(M^{n},g)$, if ...
- 125
0
votes
0
answers
48
views
Non-linearity of viscosity solutions
I am interested in the following problem.
Let consider the solution of the non-linear PDE on $[0,T]\times\mathbb{R}$ satifying the following Cauchy problem:
$$
\begin{cases}
u_t = F(u_{xx}),\\
u(0,x) =...
- 175
4
votes
0
answers
95
views
Exponential map for tangent space of space of distributions $\mathscr{P}_2(X)$
In Chapter 8 of the book Gradient Flows In Metric Spaces and in the Space of Probability Measures by Ambrosio et al., the tangent space to the space of distributions on $X$ (let's say $X=\mathbb{R}^d$)...
- 91
7
votes
1
answer
309
views
Estimates of $\Delta|\nabla u|$ for harmonic function $u$
The well-known Bochner formula and refined Kato inequality (for harmonic function) tells us that for a harmonic function $u$ in $B_{2}\subset\mathbb{R}^{n}$,
$$
\frac{1}{n}|\nabla^{2}u|^{2}\leqslant |\...
- 125
0
votes
0
answers
45
views
Godunov splitting convergence research
The approximation of Godunov splitting on certain differential equations is known to be first order accurate. In 2011, a paper has also shown that it is first order accurate for nonlinear ordinary ...
- 101
2
votes
0
answers
57
views
On improving the regularity of solutions to nonlinear parabolic pde
There's a common reasoning i have seen in many papers/books that work with parabolic pde's (most specifically in the context of geometric flows) but I can't fully grasp it. This reasoning is that to ...
2
votes
0
answers
66
views
Question about the ''crater'' in mountain-pass theorem while reading a paper of solving mean-field equation by mountain-pass theorem
Actually, I'm reading a paper which finds the saddle point of a functional, of course the unbounded below energy functional will suggest a potential saddle, but the structure of mountain pass is the ...
- 729
2
votes
0
answers
38
views
Functional of fully nonlinear equations
Let $\left(\mathcal{M}, g_0\right)$ be a compact Riemannian manifold of dimension $n>2$ and denote by 'Ric' and $R$ respectively the Ricci tensor and the scalar curvature. The $k$-Yamabe problem is ...
- 419
0
votes
0
answers
32
views
On the I-method's energy increment calculation in a paper of Dodson
I am currently reading Dodson's Global Well-posedness for the Defocusing, Quintic Nonlinear Schrödinger Equation in One Dimension for Low Regularity Data article and I am trying to understand Theorem ...
- 753
1
vote
0
answers
59
views
Parabolic regularity for weak solution with $L^2$ data
I want to study the regularity of weak solutions $u\in C([0,T];L^2(\Omega))\cap H^1((0,T);L^2(\Omega))\cap L^2(0,T;H^1(\Omega))$ of the heat equation with Neumann boundary conditions:
$$\begin{cases}\...
- 1,330
1
vote
1
answer
234
views
Eigenvalues of a Schrödinger operator
I'm interested in the existence of eigenfunctions and finding eigenvalues of the following operator
$$L(\varphi) = \varphi_{rr} - \frac{1}{r} \varphi_r - [V + \frac{m}{r^2}] \varphi$$
$$\varphi(0) = \...
- 299
9
votes
1
answer
605
views
Prove J.L. Lions’s Lemma without using Fourier transform
When I read the book Linear and Nonlinear Functional Analysis with Applications, I came across J.L. Lions's Lemma (the book doesn't give a proof), which states
Let $\Omega \subset \mathbb R^n$ be a ...
- 583
3
votes
1
answer
194
views
$L^{\infty}$ estimate for heat equation with $L^2$ initial data
Is there a way to show in a relatively simple manner that for a Lipschitz bounded, connected, open domain $\Omega\subset\mathbb{R}^N$ for any $f\in L^2(\Omega)$ the solution of the problem:
$$\begin{...
- 1,330
0
votes
0
answers
28
views
Advection diffusion equation with position dependent advection
I am trying to solve a equation that looks like $$u_t=f(x)u_x+Du_{xx}$$
any insight to whether an solution might exist would be very much appreciated!
2
votes
0
answers
152
views
Does integration by parts formula hold in $H^1(0,T,L^2(\Omega))$?
Let $\Omega$ be an open set from $\mathbb{R}^N$. How can we prove that if $u,v\in H^1(0,T,L^2(\Omega))$ (in Bochner sense) then $(u\cdot v)'\in L^2(0,T,L^1(\Omega))$ with $(uv)'=u'v+v'u$ and the ...
- 1,330
0
votes
0
answers
48
views
Properties of "potential vector field" in Helmholtz decomposition
It is a well known fact that given a vector field $F$ in $\mathbb{R}^3$, this can be decomposed as
$$ F= \nabla V+ \nabla \times R$$
with $V$ a potential and $R$ another vector field. These components ...
- 631
1
vote
0
answers
133
views
$L^{p}$ estimate for $\frac{|\nabla f|^{2}}{f}$
I’m trying to obtain an $L^{p}$ estimate under certain conditions. Suppose $f\in C^{2}(B_{2})$ is a function satisfying $0<f<1$ and $f\Delta f>\frac{1}{n} |\nabla f|^{2}$, where $B_{2}\subset\...
- 125
1
vote
0
answers
50
views
Nitsche's method for p-Laplace equation
My question is about how you impose Dirichlet boundary conditions for the p-Laplace equation.
The minimization form of this problem is to find the function $u$ in $W_1^p(\Omega)$ that minimizes the ...
- 688
1
vote
0
answers
79
views
For any $\beta>0$, there is a constant $c>0$ such that $\left\|(1-\Delta)^{\frac{\beta}{2}} f\right\|_{\infty} \leq c\|f\|_{C_b^\beta}$
For any $n \in \mathbb{Z}^{+}$, let $C_b^n\left(\mathbb{R}^d\right)$ be the class of real functions $f$ on $\mathbb{R}^d$ with continuous derivatives $\left\{\nabla^i f\right\}_{0 \leq i \leq n}$ such ...
- 851
16
votes
1
answer
723
views
The determinant as a differential operator
According to Gårding, the determinant is a hyperbolic polynomial over the space $\mathbf{Sym}_n$ of real symmetric $n\times n$ matrices. More precisely, it is hyperbolic in the direction of the ...
- 51.6k
2
votes
1
answer
64
views
Existence of solution to Cauchy boundary value problem in Lipschitz class of functions
For a research question I have run into the following problem that seems intuitively true but I do not know how to prove it and am not sure in which generality.
Let $\Omega\subset \mathbb{R}^2$ be a ...
- 41
1
vote
1
answer
113
views
Can functions with "big" discontinuities be in $H^1$?
How can I prove that the function:
$$u:\Omega\to\mathbb{R},\ u(x)=\begin{cases} 0, x\in\omega \\[3mm] v(x), x\in\Omega\setminus\omega\end{cases}$$ is not in $H^1(\Omega)$, knowing that $v\geq 1$ is ...
- 1,330
0
votes
0
answers
37
views
System of equations with one integral equation
Start with a system of three equations such that two of the equations are ordinary or partial differential equations, but one of them is an integral equation as follows:
$C = \int_{0}^{\infty} X \: ...
- 4,958
1
vote
0
answers
108
views
Global existence for large data in $H^{-1/2}(\mathbb R)$ of viscous Burgers' equation with external forcing
First, a quick summary of what to know about viscous (or dissipative) Burgers' equation
$$ u_t-u_{xx}=(u^2)_x. \tag{1}\label{1}$$
Recall that $\dot H^{-1/2}(\mathbb R)$ is a scaling-critical Sobolev ...
- 1,055
0
votes
0
answers
164
views
Extreme confusion over the tautology of the solution for PDEs
Let $u_0 : \mathbb{R}^3 \to \mathbb{R}^3$ be a smooth divergence free vector field. Then, it is well-known from the theory of Navier-Stokes equation that there exists some $T \in (0,\infty]$ and a ...
- 2,749
0
votes
0
answers
51
views
How to solve with FEM a semilinear elliptic equation?
I searched in many books regarding FEM how to solve semilinear elliptic equation, but I did not find too many things. They mostly treat linear and simple problems. For example in P.Ciarlet-The finite ...
- 1,330
0
votes
0
answers
133
views
Relative bounds for vorticity
Write the vorticity equation as
\begin{equation}\label{Eq20}
\begin{split}
\dfrac{\partial}{\partial t} v_i & = \biggl[|\textbf{v}|~|\nabla u_i|\cos(\beta_i)- |\textbf{u}|~|\nabla v_i|\cos(\...
- 205
1
vote
1
answer
188
views
What is kth vortex formula?
I want to study the kth vorticity equation. The NS equation is provided as
\begin{align}\label{eq1}
&\dfrac{\partial }{\partial t} \textbf{u} + \left(\textbf{u}\cdot \nabla \right)\textbf{u} = ...
- 205
5
votes
1
answer
195
views
Regularity of stochastic heat equation
For the heat equation:
$$\frac{\partial u}{\partial t} = \Delta u + \zeta(t,x)$$
where $u:\mathbb{R}^{+}\times \mathbb{R}^{n} \rightarrow \mathbb{R}$ and $\zeta$ is a space-time white noise.
I'm ...
- 51
2
votes
0
answers
82
views
A question on the maximum principle of second order elliptic equations
Let $Lu=a^{ij}u_{ij} + b^i u_i$ be an elliptic operator of second order in a bounded domain $\Omega$. Assume that $a^{ij}$ is uniformly elliptic. Then it's well known that the following maximum ...
- 379
4
votes
1
answer
129
views
Embeddings of the maximal domain for the Laplacian
Let $\Omega \subset \mathbb{R}^n$ be a bounded smooth domain and $n \geq 2$. Consider the subspace of $L^2$-functions whose distributional Laplacian is also an $L^2$-function:
$$D = \left\{ f \in L^2(\...
- 41
2
votes
1
answer
154
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
0
votes
0
answers
82
views
Reversing heat transfer with respect to time
Fact: One can easily compute heat dispersion in a plane using the heat equation.
Question: Has any research been done on computing the process in the reverse time direction?
That is, given a heat map $...
- 119
2
votes
0
answers
139
views
How to prove $\operatorname{Id}-K$ is a proper map when $K$ is a $C^1$ compact operator?
Assume $X$ is a Banach space, $\Omega \subseteq X$ is an open set, $K\in {C}^{1}( \overline{\Omega}, X)$ is a nonlinear compact map, Is $\operatorname{Id}-K$ a proper map? I think maybe it has ...
- 21
3
votes
1
answer
203
views
Weighted Lebesgue space with exponential weights: smoothing effect and properties
I am researching whether there are weighted Lebesgue spaces of the type
$$ \left\{ f\omega(x)\in L^p(\mathbb{R}^n):\|f\|_{L^p_\omega}=\int_{\mathbb{R}^n}|f|^p\omega^p(x)\,dx< \infty,\right\} $$
...
- 585
1
vote
0
answers
204
views
Understanding the effect of PDE solution on critical strip?
I would like to understand a little bit about how to interpret and construct $1$-parameter gamma factors that are dynamical - that is they are particular solutions to linear PDE's. Some possible ...
- 171
-1
votes
1
answer
109
views
Proving that $\max_{w \in B(z)} e^{f(w)} \leq Ce^{f(z)}$
Let $f : \mathbb R^2 \to \mathbb R $ be a smooth function statisfying
$$
0 < \alpha \leq \Delta f(w) \leq \beta < \infty, \ \ \forall w \in \mathbb R^2
$$
where $\Delta$ denotes the Laplace ...
- 357
1
vote
0
answers
63
views
Solutions for a system of PDE's
Let $ \Omega_s(x) $ solve the system
$$s \dfrac{\partial^2}{\partial s^2}\Omega_s(x)=\pm x\dfrac{\partial}{\partial x}\Omega_s(x) $$
$$2\sqrt{s}\frac{\partial}{\partial s} \sqrt{\pm\Omega_s(x)}=\sqrt{...
- 171
0
votes
0
answers
84
views
Spectrum of Laplace-Beltrami operator on tensors
Let $(M, g)$ be a complete Riemannian manifold diffeomorphic to $\mathbb{R}^n$. Under appropriate geometric assumptions concerning the geometry near infinity, but without any curvature sign ...
- 409
1
vote
0
answers
77
views
Closed form ODE solutions for Jacobi field/eigenfunction of Laplacian on hyperbolic space
I'm trying to compute Jacobi fields of the hyperbolic disk $\mathbb{H}^m$ considered as a minimal hypersurface in $\mathbb{H}^{m+1}$ in the half model. References to literature or solutions to the ...
- 299
3
votes
0
answers
57
views
Convex combination of cyclically monotone sets
I want to show the following statement, but I am not sure how.
Proposition(?):
Let $C \in \mathbb{R}^d$ be a compact convex set, and let $u, v : C \to \mathbb{R}$ be smooth convex functions.
Suppose
$$...
- 51
0
votes
1
answer
187
views
Why $-\Delta_g u+\lambda=\lambda \frac{e^{2 u}}{\int_M e^{2 u} d \mu_g}$ type PDE is called 'mean-field equation'?
Why $$
-\Delta_g u+\lambda=\lambda \frac{e^{2 u}}{\int_M e^{2 u} d \mu_g}
$$type PDE is called 'mean-field equation'? It's closely related to moser-trudinger inequality, there are many classical ...
- 729
2
votes
1
answer
91
views
Show $v(x,t) \in L^2([0,T];H^2(\mathbb{R}))$ when $v(x,t)$ is a transformation of a $L^2([0,T];H^2(\mathbb{R}))$ function
Context: I am reading a paper on Long-Time Asymptotics of the thin film equations, in which the authors consider the strong solutions of the thin film equation in 1-D and transform them using a time-...
- 23
1
vote
0
answers
115
views
Regularity of elliptic equation with Neumann boundary conditions
In the context of the regularity of the free boundary of the one-phase (a.k.a. Bernoulli) problem we want to show $C^{1,\alpha}$ regularity of the free boundary implies smoothness of the free boundary ...
- 11
1
vote
0
answers
80
views
Finiteness of theta vanishing in the KP direction for locally planar curves
I believe the main question is Question 2 at the end, and for experts it might be completely okay to skip directly to it (assuming I'm not saying any nonsense).
My motivation comes from pure algebraic ...
- 91
0
votes
1
answer
189
views
A variant of Hardy's inequality for "convolutions"?
Consider Hardy's inequality on $L^{2}(\mathbb{R}^3)$. This inequality states that:
$$\int_{\mathbb{R}^3} dx \, \frac{|\psi(x)|^2}{|x|^2} \le K \int_{\mathbb{R}^3} dx \, |\nabla \psi(x)|^2.$$
I want to ...
3
votes
0
answers
125
views
Conformal Killing vector fields on manifolds that are not asymptotically flat
Let $M = [1,\infty) \times S^2$.
Equip $M$ with the metric $g = dr^2 + r^2 (\gamma + h)$ where $\gamma$ is a metric on $S^2$ and $h$ is a $(0,2)$ tensor on $M$ that satisfies
$$h = O(1/r),\quad \...
- 885
1
vote
0
answers
31
views
Reference for an IBVP for the linear homogeneous 1-D Schrödinger equation
I asked the following question on MSE some time ago, but got no answer (sorry if the question is not appropriate for MO).
Consider the following initial boundary value problem for the linear ...
- 3,771