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.

Filter by
Sorted by
Tagged with
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 ...
Arthur's user avatar
  • 11
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) &= \...
Guido Kanschat's user avatar
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 ...
EDA's user avatar
  • 61
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 ...
Thomas Richard's user avatar
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. ...
rrr's user avatar
  • 193
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\...
Tom's user avatar
  • 77
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$...
Matchmaticians's user avatar
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 ...
Ayan's user avatar
  • 573
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? ...
Tom's user avatar
  • 77
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 \...
Andrew's user avatar
  • 2,645
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$.
user avatar
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$, $...
Reginaldo Demarque da Rocha's user avatar
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 ), ...
Unrated's user avatar
  • 31
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 ...
Aerinmund Fagelson's user avatar
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 \...
poupy's user avatar
  • 175
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 ...
Guohuan Zhao's user avatar
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 ...
user133100's user avatar
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 ...
Giovanni Moreno's user avatar
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 ...
M.S.'s user avatar
  • 369
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 ...
Ivy Hsu's user avatar
  • 78
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$....
M.S.'s user avatar
  • 369
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}$ ...
Giovanni Moreno's user avatar
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)$. ...
Ben's user avatar
  • 35
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 ...
Xuxu's user avatar
  • 663
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$...
user avatar
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 ...
M.S.'s user avatar
  • 369
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: ...
David Roberts's user avatar
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://...
Andy Sanders's user avatar
  • 2,890
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 ...
user87921's user avatar
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 ...
Hosein Rahnama's user avatar
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,...
user avatar
-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 ...
user87775's user avatar
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_{...
FavorExistingPopularTags's user avatar
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 ...
Matt Hastings's user avatar
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, ...
qingtang's user avatar
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 ...
Richard Stanley's user avatar
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 ...
Alan's user avatar
  • 1,514
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 ...
Bazin's user avatar
  • 15.1k
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 $\...
ACA's user avatar
  • 11
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}$...
WoofDoggy's user avatar
  • 237
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 ...
Blah's user avatar
  • 11
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 ...
FavorExistingPopularTags's user avatar
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$ ...
Kies's user avatar
  • 83
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,...
user avatar
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 \,...
Adhvaitha's user avatar
  • 151
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 ...
user86084's user avatar
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 ...
JumpJump's user avatar
  • 679
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 ...
charlestoncrabb's user avatar
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 (...
Anton Izosimov's user avatar
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 ...
student's user avatar
  • 51

1
55 56
57
58 59
86