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,252
questions
1
vote
0
answers
140
views
Equation of the form $\overline{\partial}_{J}f=g$ made holomorphic
In section 2.6 of the book "Holomorphic curves in symplectic geometry" by Audin and Lafontaine there is explained when one can transform a perturbed holomorphic curve in a holomorphic curve. I tried ...
1
vote
0
answers
87
views
Vector fields for volumetric-deviatoric decomposition
The strain tensor $\epsilon(u) = \frac12 (\nabla u + (\nabla u)^T)$ in linear elasticity can be decomposed additively into volumetric and deviatoric strains
\begin{gather*}
\epsilon_D(u) &= \...
6
votes
2
answers
1k
views
$L^\infty-L^2$ smoothing for heat equation on manifold using Nash-Moser-De-Giorgi technique
Let $M$ be a compact and closed smooth Riemannian manifold, and consider weak solution $u$ of the equation
$$u_t - \Delta u = f$$
given $f \in L^2(Q)$ and $u(0)=u_0 \in L^\infty(M)$.
I'm looking for ...
3
votes
0
answers
285
views
Distance to the level sets of an almost linear function
While reading about the almost-splitting theorem of Cheeger and Colding, I thought about the following question, which asks about wether the level sets of a function which is close to being a linear ...
2
votes
0
answers
81
views
Properties of a Sobolev bound
I am interested in computing
$$
A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2}
$$
where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound.
...
2
votes
1
answer
429
views
Strichartz Estimates for radial Klein-Gordon equation
I'm trying to prove global wellposedness for the Klein-Gordon-Equation with radial initial data. I'm therefore searching for/trying to prove strichartz estimates of the form: $$ ||e^{it\langle D\...
0
votes
1
answer
112
views
Explicit solution for one-dimensional Gelfand problem
I wonder if the ODE
$y''+e^{y}=a$
can be solved explicitly. For $a=0$, it is well-known that there is a two-parameter family of explicit solutions
$y=\ln(2)-2\ln(\cosh(cx+d))+2\ln(c)$, $c,d \in R$...
3
votes
0
answers
121
views
Prescribed curvature problem of a connection beyond the real analytic category for $SL(3,R)$ bundles?
With reference to the questions Does the Riemann-Christoffel curvature determine the connection? and When is a given matrix of two forms a curvature form?, and recalling the following important result ...
2
votes
1
answer
186
views
Estimates for Klein-Gordon-Equation follow directly from Wave equation Estimates
in this paper http://arxiv.org/pdf/1412.1626.pdf it says that Lemma 3.1/(3.1) follows from Theorem 1.3 in http://arxiv.org/pdf/math/0402192.pdf without extra details. Can somebody please explain that?
...
1
vote
2
answers
461
views
Integral representation of the Cauchy problem solution for the heat equation
Consider the Cauchy problem for the heat equation
$u_t=\Delta u$, $u|_{t=0}=\varphi$.
S. Täcklind showed its solution $u$ is unique in the class $|u|\le e^{|x|h(|x|)}$, $|x|>1$, iff $\int_1^\infty \...
1
vote
1
answer
127
views
$L^p$-bounding inequality [closed]
Do we have that$$\|Du\|_{L^{2p}} \le C\|u\|_{L^\infty}^{1\over2} \|D^2u\|_{L^p}^{1\over2}$$for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$? Here, $U$ denotes an open subset of $\mathbb{R}^n$.
1
vote
1
answer
768
views
$L^p$–$L^q$ estimates for heat equation - regularizing effect
Where can I find a proof of the following estimate
$$\|S(t)v\|_{L^p(\Omega)}\leq C_{N,p,q} t^{-\frac{N}{2}\left(\frac{1}{q}-\frac{1}{p}\right)}\|v\|_{L^q(\Omega)}, $$
where $1\leq p<q<+\infty$, $...
3
votes
0
answers
415
views
Funk-Hecke theorem on the complex sphere
I am interested in paper " Sharp constants in several inequalities on the Heisenberg group " of Rupert L.Frank and Elliott H.Lieb " http://arxiv.org/pdf/1009.1410v2.pdf. In this paper ( page 17 ), ...
2
votes
1
answer
750
views
Proving short time existence for semi-linear parabolic PDE
I am following up on the answer of Denis Serre to this same question here Short time existence on nonlinear parabolic PDE
I have tried to generalise the proof of the Picard-Lindelof theorem, as ...
3
votes
0
answers
106
views
Constant in a trace Sobolev theorem for concave domains
I wonder is the following inequality is true/known:
Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then
$$
\int_{\partial\Omega} |u|^2 ds
\...
1
vote
0
answers
91
views
Perturbation in Besov space
$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...
1
vote
1
answer
82
views
Davey-Stewartson Lagrangian formulation
The system is
$i u_t + c_0 u_{xx} + u_{yy} = c_1 |u|^2 u + c_2 u \phi_x,\,$
$\phi_{xx} + c_3 \phi_{yy} = ( |u|^2 )_x.\,$
This is like the NLS but with the extra y-dimension. The NLS has the ...
3
votes
1
answer
212
views
How many second-order PDEs can be obtained from a contact EDS?
Let $(M,[\theta])$ be a contact manifold, $\dim M=2n+1$, and denote by $\mathcal{I}^\theta$ the differential ideal generated by the contact form $\theta$.
An exterior differential system on $M$ of ...
2
votes
1
answer
290
views
Simplicity of eigenvalues
Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
0
votes
2
answers
566
views
$L^p$ estimates for elliptic equation of divergence form
Consider the scalar elliptic equation of divergence form
$$div((1+a)\nabla\pi)=div F\ \ in\ \ R^3,$$
where $a$ is a Schwartz function with $1+a\geq c=const>0$, $F=(F_1,F_2,F_3)$ is a vector-valued ...
9
votes
2
answers
532
views
Asymptotic behavior of Sturm-Liouville eigenvalues
I have two questions.
Consider the operator $Av = -v'' + a(x)v$ on $I = (0, L)$, with zero Dirichlet condition and $a \in C([0, L])$.
Let $(\lambda_n)$ denote the sequence of eigenvalues of $A$....
1
vote
1
answer
200
views
Is there an algebraic way to characterise the ordinary integral flags?
Fix a vector space $V$ and an integer $1\leq n<\dim V$.
If $\mathcal{I}\subseteq\Lambda^\bullet V^*$ is an ideal, I denote by $\mathcal{I}^i:=\mathcal{I}\cap\Lambda^iV^*$ its $i^\textrm{th}$ ...
0
votes
1
answer
743
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
4
votes
0
answers
111
views
Sobolev spaces defined on non-compact Lie groups
In this post, a question was raised to discuss the generalization of Sobolev spaces on locally compact Lie groups. Now my question is whether there exists a generalization of Sobolev spaces and ...
5
votes
1
answer
131
views
If $u \in H^1(U)$, then $Du = 0$ almost everywhere on the set $\{u = 0\}$, auxiliary result
Let $\phi$ be a smooth, bounded and nondecreasing function, such that $\phi'$ is bounded and $\phi(z) = z$ if $|z| \le 1$. Set$$u^\epsilon(x) := \epsilon \phi(u/\epsilon).$$Do we necessarily have that$...
2
votes
0
answers
108
views
Continuous inclusions Sobolev theorem, question [closed]
How do I see that if $f$, $g \in H^s(\mathbb{R}^n)$ for $s > n/2$, then $fg \in H^s(\mathbb{R}^n)$ and$$\|fg\|_{H^s(\mathbb{R}^n)} \le C\|f\|_{H^s(\mathbb{R}^n)}\|g\|_{H^s(\mathbb{R}^n)},$$the ...
4
votes
2
answers
734
views
Is there a true many-body green's function for interacting systems?
I've recently been trying to compute the Green's function for a non-interacting system of fermions. Since this is a site for mathematicians, for context, let me provide the following definition:
...
6
votes
2
answers
976
views
Epsilon regularity for minimal surfaces in arbitrary Riemannian manifolds
For experts in the analysis of minimal surfaces I will state the question first; then I will follow up with details.
Question: Does the $\varepsilon$-regularity theorem of Choi and Schoen (http://...
3
votes
2
answers
503
views
Bound of solution of pde with a distance function
I would like to solve the PDE $\Delta u=-K$ in $\Omega$ and $u=0$ on the boundary, where $K$ is some positive constant. I read a paper which stated that $u(x)$ is no less than the distance from $x$ to ...
2
votes
0
answers
105
views
Biharmonic Equation in a Rectangle with Some Uncommon Boundary Conditions
I asked this question on Mathematics network but it didn't receive any answers. So I assume it is just beyond the classic things in PDEs and I decided to ask it here too.
Consider the following ...
0
votes
3
answers
309
views
Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]
Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
-1
votes
1
answer
59
views
Does there exist any subsequence $(u_{n_k})$ converging strongly in $L^q(\mathbb{R})$, for any $1 \le q \le \infty$? [closed]
Fix a function $\varphi \in C_c^\infty(\mathbb{R})$, $\varphi \not\equiv 0$, and set $u_n(x) = \varphi(x + n)$. Let $1 \le p \le \infty$. Does there exist any subsequence $(u_{n_k})$ converging ...
1
vote
0
answers
83
views
Boundedness of a function that satisfies a PDE-type inequality
Let $\Omega$ be a bounded Lipschitz domain, and let $u\colon[-T,0]\times \Omega \to \mathbb{R}$ be a function with $u(-T)=0$.
Suppose that
$$\sup_{-T \leq t \leq 0} \int_\Omega |(u(t)-k)^+|^2 + \int_{...
2
votes
1
answer
259
views
Exactly solvable examples of diffusion equation with variable diffusivity?
There are many examples of potentials $V(x)$ for which Schrodinger's equation for a single particle in one dimension is exactly solvable, in the sense that we can give "nice" expressions for the ...
4
votes
2
answers
214
views
existence of a special conformal mapping
Sorry I don't know how to give an appropriate title.
In the complex plane, suppose there is a graph $x+if(x)$ separating the plane into two unbounded components, where $f(x)$ is smooth and bounded, ...
57
votes
2
answers
5k
views
Recent observation of gravitational waves
It was exciting to hear that LIGO detected the merging of two black
holes one billion light-years away. One of the black holes had 36
times the mass of the sun, and the other 29. After the merging the
...
1
vote
0
answers
98
views
Suggestion for books in Pertubation theory with an emphasis on the theory
As the title suggest I am looking for another good coverage of the theory of Pertubation theory.
Currently I am working through Murodock's book: Pertubations: Theory and Methods.
But I am rest assure ...
11
votes
2
answers
687
views
Poincaré lemma for distributions
Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form
$$
u=\sum_{1\le j\le n} u_j dx_j,\quad ...
1
vote
0
answers
177
views
How does the $L^\infty$ norm of the solution of $-\Delta u + \lambda u =0$, $\partial_\nu u=\alpha$ depend upon $\alpha$ and $\lambda$?
Let $\lambda > 0$ be a constant and let $u$ be the weak solution on a bounded domain $\Omega$ of
$$-\Delta u + \lambda u = 0 \quad\text{in $\Omega$}$$
$$\partial_\nu u = \alpha \quad \text{on $\...
1
vote
0
answers
84
views
Wave-like equation with 1st order time derivative and non-constant coefficients
We start with the following recurrence relation for complex coefficients $c_{n,m}$:
$$i\dot{c}_{n,m}(t) = \sqrt{(n+1)(n+2)(m-1)m}c_{n-2,m+2} + \sqrt{n(n-1)(m+1)(m+2)}c_{n+2,m-2}$$
where $\dot{c}_{n,m}$...
1
vote
1
answer
101
views
If $u \in L^2(0,T;X_0)$ with $u_t \in L^2(0,T;X_2)$, then is $u \in L^\infty(0,T;X_1)$?
Let $X_0 \subset X_1 \subset X_2$ be continuous embeddings, with $X_0 \subset X_1$ compact.
Suppose $u \in L^2(0,T;X_0)$ with $u_t \in L^2(0,T;X_2)$.
Is then $u \in L^\infty(0,T;X_1)$?
To apply ...
1
vote
1
answer
395
views
$L^1$ convergence to equilibrium of solutions of heat equation
Let $u$ and $v$ be the weak solutions of
$$u_t - \Delta u = f$$
$$u(0)=u_0$$
and
$$-\Delta v = f$$
$$|\Omega|^{-1}\int_\Omega v =0$$
on a bounded domain $\Omega$, where $u$ and $v$ satisfy homogeneous ...
1
vote
0
answers
230
views
$L^\infty$ bound on solutions of linear parabolic equations
We work on a closed Riemannian manifold $M$. Let $u$ and $v$ be the non-negative weak solutions of
$$au_t - 2d\,\Delta au = cv - f$$
$$bv_t - d\,\Delta bv = f$$
$$u(0)=u_0, \quad v(0)=v_0$$
where $f$ ...
0
votes
1
answer
345
views
In the proof of the existence of weak solutions to the NSE
In the proof of the existence of weak solutions to the NSE (Navier-Stokes Equations by Constantin and Foias, Chapter 8), the following argument is made:
Let $u_m$ converges weakly to $u$ in $L^2(0,...
1
vote
0
answers
78
views
Potential theory solution for Variable coefficient Poisson with Dirichlet Boundary conditions
I am looking for a potential theory representation for the following equation in $2$D:
$$\vec{\nabla} \cdot \left(a(x) \vec{\nabla}u\right) = 0 \,\, \forall x \in \Omega \,\, (\spadesuit)$$
$$u = g \,...
1
vote
0
answers
211
views
Boundary regularity of solution to partial differential equation
I am conducting research on partial differential equations and I need a short-time existence result from the literature which I can not find at the moment. More precisely I would like to know the ...
3
votes
1
answer
2k
views
The inverse of Laplacian operator for different orders
I post this question in MSE couple of days before and get no response. So I repost it here for better luck. Thank you!
Let $u,v\in C_c^\infty(\Omega)$ and $\Omega\subset \mathbb R^N$ is open bounded ...
0
votes
1
answer
252
views
Linearized stream function
I am trying to work through a paper Instability in Parallel Flows Revisited by Friedlander and Howard, and there are a couple steps in the beginning that I do not understand. I apologize in advance ...
2
votes
2
answers
359
views
Double-layer potentials on Riemannian manifolds
Let $M$ be a compact Riemannian manifold, and let $S \subset M$ be a smooth hypersurface which divides $M$ into two domains $D_1$, $D_2$. Let also $g \colon S \to \mathbb R$ be a smooth function (...
2
votes
1
answer
311
views
Continuity + $H^1$ + Laplacian control $ \implies$ local Lipschitz property
Consider a continuous $H^1$ function $u$ on a bounded open set $\Omega \subset \mathbb{R}^n$. We additionally have that $|\Delta u|^2 \leq c |\nabla u|^2$ pointwise on $\Omega \setminus \Sigma$, where ...