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
1
vote
0
answers
121
views
Does a gauge-invariant Caccioppoli inequality hold?
(I previously asked this question on Math.SE but got no responses after two weeks.)
Let $V \Subset U$ be domains in a Riemannian manifold $M$, and $W := U \setminus \overline V$. If $u: U \to \mathbb ...
2
votes
0
answers
68
views
Are there spectral Galerkin methods for PDE of the form $\partial_tu=\nabla\cdot f(\nabla u)\nabla u$?
Question is in the title. The nonlinearity due to the term $f(\nabla u)$ makes it difficult to directly apply the spectral Galerkin method as it can be done for PDE of the form $\partial_tu=\nabla\...
1
vote
0
answers
39
views
Formulation of multipoint constraints using Lagrange multipliers for a time dependent problem (with the Finite Element Method)
Intro
Suppose we have the following static linear equations (e.g. of an elastostatic problem):
$$\mathbf{K}\boldsymbol{u}=\boldsymbol{f}$$
We want a multipoint constraint of the type
$$\boldsymbol{\...
0
votes
0
answers
120
views
Mysterious Bound: $\int_{B_{4}}\|D^{2}u\|^{2} \leq 2^{n}$
I am reading through "A GEOMETRIC APPROACH TO THE CALDERON–ZYGMUND ESTIMATES" by Lihe Wang and I am perplexed by an assertion in Lemma 7. The claim is that whenever $\Delta u = f$:
$$\frac{1}...
2
votes
0
answers
126
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 ...
5
votes
0
answers
185
views
Regularity of convergent flow of parabolic PDE (Fokker-Planck equation)
Consider the divergence-type 2nd order linear PDE on $\mathbb{R}^d$
$$\partial_t u_t = Lu_t := \nabla\cdot(u_t\,\nabla V)+\Delta u_t,$$
representing the Fokker-Planck evolution equation for the ...
1
vote
1
answer
188
views
A problem about regularity and mean value property in the Merle and Brezis work on $-\Delta u = V(x) \exp u$ in $\mathbb{R}^2$ plane
I'm reading the Theorem2 in UNIFORM ESTIMATES AND BLOW-UP BEHAVIOR FOR SOLUTIONS OF $-\Delta u=V(x) e^u$ IN TWO DIMENSIONS
They prove that for the solution of
$$
-\Delta u= V(x)\exp u \text { in } \...
1
vote
0
answers
78
views
Nonlinear, 1st order system of PDEs with variables interchanged
(This question comes as a particular case with specific boundary conditions of the system shown in mathSE)
Consider the PDE system
$$
\begin{cases}
\xi_u^2+\eta_u^2=\left(1+\dfrac{\xi^2+\eta^2}{4} \...
0
votes
0
answers
102
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 ...
3
votes
1
answer
182
views
How to choose some $h$ so its Fourier transform supported in some set?
Suppose that $K=[-N, N]$ is some compact subset of $\mathbb R$, for some $N>2.$
Can we expect to choose $h$ such that $h=1$ on $K$ and the support of the Fourier transform of $\widehat{h}$ ...
1
vote
0
answers
85
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 ...
1
vote
0
answers
63
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 ...
3
votes
3
answers
649
views
Seeking the most general solution of a first order nonlinear PDE in two independent variables
I am seeking the most general form of the solution of the following PDE: $$\left(\frac {\partial G(u,v)}{\partial u}\right)^2+\left(\frac {\partial G(u,v)}{\partial v}\right)^2= F(u)$$where $F(u)$ is ...
4
votes
1
answer
162
views
Uniqueness of critical points for Lipschitz perturbations of uniformly convex Hamiltonians
Consider a macroscopic free energy functional of the form
$$\mathcal{F}_\beta(\mu):= \frac{1}{\beta}\int_{\mathbb{R}^d}\log(\mu)\mu dx + \int_{\mathbb{R}^d}V(x)\mu(x)dx + \iint_{(\mathbb{R}^d)^2}g(x-y)...
2
votes
0
answers
329
views
Conditions for an existence of smooth solution to a parabolic PDE
I'm interested to know the conditions of when the parabolic PDE ($U \subset \mathbb{R}^n$ is some bounded open subset):
\begin{equation*}
u_t - \sum_{i,j=1}^n(a^{ij}(x,t)u_{x_i})_{x_j} + \sum_{i=1}^nb^...
59
votes
9
answers
10k
views
Motivation for and history of pseudo-differential operators
Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
4
votes
1
answer
182
views
On a non-linear PDE $p_t = e^{-p}p_{xx}$
Consider the PDE for $p:[0,T]\times [0,1]\to\mathbb R$ as follows:
$$
\begin{cases}
p_t = e^{-p}p_{xx}, & (t,x)\in (0,T)\times (0,1),\\
p(0,\cdot)\equiv -c &\text{for }x\in (0,1)\\
p(\cdot,0)\...
1
vote
1
answer
88
views
Stochastic Stokes flow: where to start from?
I would need to get acquainted to the subject of stochastic Stokes flows, so studying Stokes equations under some noise of some kind, let's say an additive white noise to begin with.
The problem is ...
3
votes
1
answer
209
views
Smooth dependence of parameter of PDE - viscosity solutions
There is a prevalent method called the "Nonlinear adjoint method" in the study of viscosity solution and Hamilton--Jacobi equation, especially equations of the form
$$
u^\varepsilon + H(x,Du^...
0
votes
0
answers
53
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) =...
1
vote
0
answers
83
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 ...
2
votes
0
answers
109
views
relative entropy, Fisher information, and metric slope for non-convex domains
$\newcommand{\R}{\mathbb R}$ If $\Omega\subset \R^d$ is a convex domain it is well-known that the relative entropy
$$
\mathcal H(\rho)=
\int_{\Omega}\rho\log\rho \ \mathrm{d}x
\qquad \mbox{for }\rho=...
2
votes
0
answers
153
views
Riesz’s representation theorem in a weak form
Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$
\begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
1
vote
0
answers
64
views
distance between consecutive eigenvalues for the laplacian on cubes
The asymptotic expansion of the eigenvalues of the Dirichlet Laplacian on a cube $[0,\pi]^d$ is given by Weyl's asymptotic, namely it starts with
$$
\lambda_n = C(d) n^{2/d}+o(n^{2/d}).
$$
This fact ...
1
vote
1
answer
132
views
Regularity for weak Solution
I'm studying the multi-dimensional variation problem in this form
$$
\begin{cases}
-\Delta u +u = f,&\text{on }\Omega,\\
u = 0,&\text{on }\partial\Omega.
\end{cases}
$$
I know that if $f$ ...
6
votes
0
answers
187
views
Gaussian lower heat kernel bounds on non-convex bounded domain
I am looking for a proof the following theorem.
Let $U \subset \mathbb{R}^n$ be a bounded domain with $C^2$ boundary and $p(x,y,t)$ be the Neumann heat kernel. Then there exist a constant $C>0$ ...
1
vote
0
answers
102
views
Burgers' equation with viscosity: modulational analysis and energy estimates for large data
I think my question applies to many PDE that admit stationary solutions or travelling waves. I will simply describe the setting that I am more familiar with, but the technique is standard and applies ...
6
votes
1
answer
1k
views
Is there any nontrivial characterization of weakly differentiable functions?
When $f\in L_\text{loc}^1$, it's distributional derivative can be defined as $D_{f'}\in\mathfrak{D}'$, such that $D_{f'}(\varphi)=-\int f\varphi'$ for all $\varphi\in\mathfrak{D}$, where $\mathfrak{D}$...
4
votes
1
answer
169
views
Continuous up to the boundary without boundary smoothness
Let $\Omega$ be a bounded domain, $f\in L^{\infty}(\Omega),$ and $0\leq u\in H_0^1(\Omega)$ is a non-negative solution of $\Delta u=f$. My question is as follows:
Can we conclude that $u\in C^0(\bar{\...
0
votes
0
answers
56
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 ...
2
votes
0
answers
118
views
Connecting the higher energies of GP and KdV via a Riccati equation
I will describe my set-up and then the problem.
We use the branch of the complex square root where
$$ \sqrt{re^{i \phi}} = \sqrt{r} e^{i \frac{\phi}{2}} \qquad \forall r > 0 \,, \forall \phi \in [0,...
2
votes
0
answers
65
views
Can the regularity argument for the solution of a parabolic PDE in Pinsky's paper be generalized?
In this paper Pinsky shows existence, uniqueness and regularity for the problem
$$
u_t=\Delta u-a(x) u^p |\nabla u|^q
$$
where $a\in C^2( \mathbb{R}^d)$ satisfies the condition $ a(x)|\leq (1+|x|^2)^N$...
6
votes
0
answers
202
views
Reference request: Elliptic regularity estimate in domains with $C^{1,\alpha}$ boundary
I'm wondering if there is a reference for the following (or if it's not true). Let $\Omega$ be a bounded domain with $C^{1,\alpha}$ boundary, where $0<\alpha<1$. For the inhomogeneous Dirichlet ...
4
votes
1
answer
193
views
Approximate isometric embeddings of surfaces
The fundamental theorem of surfaces states that if symmetric matrices $g_{ij}$, $l_{ij}\colon U\subset R^2\to R$, where $U$ is open and $g_{ij}$ is positive definite satisfy the Gauss and Codazzi ...
3
votes
1
answer
96
views
Let $g$ be the heat kernel. Are there constants $C_1, C_2>0$ such that $\frac{g(t_1, \cdot)}{t_1} \le C_1 \frac{g(C_2 t_2, \cdot)}{\sqrt{t_2}}$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Let $0 < t_1 < t_2 &...
6
votes
2
answers
622
views
Forcing the uniqueness of a solution of an ODE
For $n\geq 1$, $f_n\in\mathcal{C}^1([0,1],\mathbb{R})$ such that $f_n(x)\geq\sqrt{x}$ for $x\in[0,1]$, and
$$\lim\limits_{n\to+\infty}\sup_{x\in[0,1]}\big|f_n(x)-\sqrt{x}\big|= 0.$$
Let $y_n$ be the ...
11
votes
3
answers
3k
views
Fundamental solution of an elliptic PDE in divergence form with non-symmetric matrix
I am looking for the fundamental solution of the following PDE
$$\partial_i (a^{ij}\partial_j u)=f$$
where $a^{ij}(x)$ is a non-symmetric matrix with possibly non-constant coefficients.
I could find a ...
8
votes
2
answers
263
views
Is the $n/2$-th heat kernel coefficient topological?
I have asked the same question on math.SE, without much success so I'm trying my luck here too.
Let $M$ be an $n$-dimensional manifold, with $n$ even and consider the heat kernel of the Laplacian on $...
1
vote
0
answers
106
views
Solution to hyperbolic linear second order PDE
I am trying to prove the existence (and uniqueness) of a weak solution for a specific PDE. First, let me formulate the problem. I asked the question on the Mathematics page but did not get a solution ...
1
vote
0
answers
66
views
Eigenvalue problem of The Dirichlet problem
Consider the nonlocal problem
\begin{aligned}
&u_t(x,t)=\int_{\mathbb{R^n}}J(x-y)u(y,t)dy - u(x,t),&x\in\Omega,t>0,\\
&u(x,t)=0&x\notin\Omega,t>0,\\
&u(x,0)=u_0(x).&x\in\...
2
votes
0
answers
94
views
Existence of Green function for some perturbation of Laplace operator
Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^N$ $(N\geq2)$ and $\lambda>0$ is a small parameter. I wonder if there exists a Green function such that
$$(\Delta+\lambda) G(x,y)=\delta_x\...
3
votes
0
answers
61
views
Integral sections of higher-order jet fields
I posted this topic on StackExchange, but it may suit this forum better.
Consider a bundle $(E,\pi, M)$ and let $k\in \mathbb N$. I am going to adopt the notations and conventions by Saunders.
...
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{...
4
votes
1
answer
214
views
A system of linear PDEs with boundary conditions
I'm researching on discrete/semi-discrete/smooth differential geometry. Recently, I could simplify one of my geometric problems (in the smooth scenario) into the solutions of a system of linear PDEs ...
1
vote
0
answers
69
views
A kind of weak convergence for Sobolev spaces with zero on boundary
Let $\Omega \subseteq \mathbb{R}^d$ be bounded and open with $\partial\Omega$ Lipschitz, $1<p<\infty$. Is it true that if $(\varphi_n)_{n\geq 1}\subset C^{\infty}_c(\Omega)$ with $\varphi_n\to \...
7
votes
2
answers
508
views
Why is $\frac{1}{|x|^{n-2}}u(\frac{x}{|x|^2})$ harmonic if $u$ is harmonic?
I found myself trying to prove the following, but I had to compute everything explicitly.
It is well known that if $u:\mathbb{R}^n\to\mathbb{R}$ is an harmonic function on $\mathbb{R}^n$, then the so-...
1
vote
0
answers
124
views
Regularity of minimizing harmonic maps with no topological obstructions
So during (not really) my research I stumbled upon the following question, for which I could not find results in literature in any direction. It is not stated super precisely mathematically speaking, ...
7
votes
1
answer
431
views
Two doubts in the paper of Brezis Merle in blow up analysis of the equation $-\Delta u=Ve^u$
I was going through the paper of Brezis and Merle [1]. In theorem 3 step 2 it's written that the boundedness of $f_n=V_ne^{u_n}$ in $L_{loc}^p(\Omega)$ implies $\mu\in L^1(\Omega)\cap L_{loc}^p(\...
0
votes
0
answers
67
views
Examples of symmetry-breaking solitons which retain a subgroup symmetry
There are many works on spontaneous symmetry breaking in the Nonlinear Schrödinger equation with asymmetric soliton solutions.
However, all symmetry breaking soliton examples I have seen go from the ...
6
votes
2
answers
1k
views
Morse index in PDEs
I have encountered with the term "Morse index" multiple times while reading papers in PDEs (e.g. [1] and [2]). However the definition differs for each context. As far as I know this came ...