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,468 questions
9
votes
3
answers
845
views
Spectrum of Dirichlet Problem for Laplacian on a Parallelogram
Let $ M \subset \mathbb{R}^2 $ be parallelogram constructed by putting together two equilateral triangles (so that all sides of the parallelogram have length 1, and the internal angles are 60 and 120)....
- 91
9
votes
1
answer
2k
views
Variational formulation for bilaplacian
I am trying to derive a variational formulation for the following problem $$\left\{ \begin{array}{ll} \Delta^2u=f, & \Omega \\ \Delta u+\rho \partial_{\nu}u=0, & \partial \Omega \end{array}\...
- 614
9
votes
2
answers
3k
views
Solving PDE via Cellular Automata
Is there a theory for solving PDE by using Cellular Automata ? Something which is on the line of, passing to the limit (scale) i.e., if you increase the number of grid points the solution to the ...
- 1,795
9
votes
2
answers
418
views
Reference request: Parabolic Equations
I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
- 452
9
votes
1
answer
838
views
Conformal changes of metric and geodesics
Suppose $(M,g)$ is a Riemannian manifold. Let us assume that $X$ denotes a vector field in this manifold and consider the integral curves of this vector field.
Does there exist a conformal factor $c$ ...
- 4,135
9
votes
2
answers
568
views
Some Mathematical Questions on Gravitational Waves and Numerical Relativity
Due to the recent spate of detections of gravitational waves by LIGO, my amateurish interest in the mathematics of general relativity has been revived.
The wave-forms of the detected gravitational ...
- 1,396
9
votes
1
answer
539
views
Most general maximum principle for non-integrable almost complex structures
Let $H\subseteq\mathbb C^n$ be a smooth co-oriented real codimension one hypersurface. If $H$ is weakly pseudo-convex, then holomorphic maps $u:\Delta\to\mathbb C^n$ ($\Delta$ denotes the unit disk) ...
- 18.7k
9
votes
1
answer
609
views
Long-time decay of heat kernel on compact manifolds
Let $M$ be a compact Riemannian manifold and let $V \in C^\infty(M)$. Consider the operator $\Delta + V$ and let $p_t(x, y)$ be the corresponding heat kernel. If $\Delta + V$ is a positive operator ...
- 9,853
9
votes
2
answers
4k
views
Negative real order Sobolev spaces: density and representation
First, I give my motivation to ask this question. The generalised Neumann trace can be defined as
$$
{}_{H^{-1/2}(\partial\Omega)}\langle\frac{\partial u}{\partial{\mathbf{n}}},v\rangle_{H^{1/2}(\...
- 291
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
9
votes
3
answers
2k
views
Real analyticity of solution of heat equation
Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...
- 1,407
9
votes
1
answer
1k
views
Sobolev space for Mixed Dirichlet - Neumann boundary condition
Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
- 253
9
votes
1
answer
833
views
Elliptic operator on non compact manifolds with ends of the type $\Omega\times (r,\infty)\times\mathbb{R}$
A smooth manifold $M$ is a manifold with a cylindrical end if there exists a compact subset $K\subset M$ such that $M\backslash K$ is diffeomorphic to $\Omega\times (r,\infty)$ where $\Omega$ is a ...
- 601
9
votes
2
answers
775
views
Heat flow, decay of the Fisher information, and $\lambda$-displacement convexity
In the whole post I will work in the flat torus $\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and $\rho$ will stand for any probability measure $\mathcal P(\mathbb T^d)$. This question is strongly related to ...
- 5,380
9
votes
1
answer
868
views
Generalized Hodge Decomposition on Manifolds with Boundary
This question is motivated by the problem of finding heat kernels to use for the renormalization of quantum field theories on manifolds with boundary.
If $(\mathscr{E}, Q)$ is an elliptic complex on ...
9
votes
2
answers
620
views
Pseudodifferential operators on spaces with boundary
Consider the upper half space $\mathbb{R}^n_{+} = \{x = (x_1,..,x_n) \in \mathbb{R}^n : x_n \geq 0\}$. Consider the Laplacian on this space with either the Dirichlet boundary condition or the Neumann ...
- 93
9
votes
2
answers
778
views
Rellich's theorem from compact resolvent
On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into $...
- 91
9
votes
1
answer
933
views
Question about an estimate in Hörmander's proof of Cartan's Theorem B
I have been working through the proof of Cartan's Theorem B that Hörmander gives in his book 'Introduction to Complex Analysis in Several Variables'. When I began, I skipped over some of the initial ...
- 19.3k
9
votes
1
answer
1k
views
Endpoint Strichartz Estimates for the Schrödinger Equation
The non-endpoint Strichartz estimates for the (linear) Schrödinger equation:
$$
\|e^{i t \Delta/2} u_0 \|_{L^q_t L^r_x(\mathbb{R}\times \mathbb{R}^d)} \lesssim \|u_0\|_{L^2_x(\mathbb{R}^d)}
$$
$$
2 \...
- 217
9
votes
1
answer
292
views
Estimate for radius of convergence of solutions given by Cauchy-Kovalevskaya Theorem
I'm sure you can extract it from the proof, but does anyone know of a reference where the radius of convergence (in terms of radius of convergence of the initial data and PDE) of the solution given by ...
- 2,478
9
votes
3
answers
562
views
Non-uniqueness of flow for divergence free vector fields
I am looking for a (possibly time-dependent) vector field $v: [0,1] \times \mathbb R_x^d \to
\mathbb R^d$ such that
$\text{div}_x v = 0$ ;
$v$ has more than one (measure-preserving) flow,...
- 608
9
votes
2
answers
552
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$....
- 369
9
votes
2
answers
1k
views
PDE with the Jacobian Determinant
Hello,
Could you please help me in answering the following question?
Initially I thought that the following problem can be solved through Monge-Ampere equation, but with Monge-Ampere, I have not ...
- 895
9
votes
1
answer
782
views
Mean value property with fixed radius
Let $f$ be a continuous function defined on $\mathbb{R^n}$. It is well known that both the spherical mean value property (MVP) of $f$, i.e.
$$f(x)=\frac{1}{|\partial B(x,r)|}\int_{\partial B(x,r)}f,\ ...
- 981
9
votes
0
answers
173
views
Regularity structures vs Renormalization
What are the substantial differences in the theory of "Regularity Structures" versus perturbative renormalization from Quantum Field Theory?
The idea that to treat divergences inherent to ...
- 1,435
9
votes
0
answers
289
views
Is there a variational interpretation for the equation $\operatorname{div}(\star \circ \bigwedge^k df\circ \star )=0$?
$\newcommand{\id}{\operatorname{Id}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\TM}{\operatorname{TM}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Cof}{\operatorname{Cof}}
\newcommand{\Det}{\...
- 6,741
9
votes
0
answers
519
views
Why is the symbol map in Atiyah–Singer paper continuous?
I am reading "Index of elliptic operators: I", by Atiyah and Singer these days and I am trying to understand all the paper. I find it difficult to verify the following statement on page 512:...
9
votes
0
answers
773
views
Have heat kernels for generalized Laplacians on non-compact manifolds been constructed?
Let $M$ be a non-compact Riemannian manifold which is "nice enough", and $D$ a generalized Laplacian on it. The construction of the heat kernel for the Laplace-Beltrami operator on $M$ seems to be ...
9
votes
0
answers
257
views
Local energy decay for variable-speed, divergence-form wave equation in non-trapping medium without obstacles
I'm looking for a reference in the literature describing local energy decay for solutions of a smooth-coefficient, variable-speed wave equation, in divergence form, with compactly-supported initial ...
- 191
8
votes
2
answers
2k
views
Why don't we study hyperbolic equations as elliptic and parabolic equations?
In the research of elliptic and parabolic equations, the Schauder estimate is one of the most important issues for them. In this topic, we always bound the norm of higher regularity in the small ...
- 1,219
8
votes
3
answers
1k
views
Are all positive eigenfunctions principal eigenfunctions?
In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$?
Also, more generally, does this also apply for $...
- 421
8
votes
4
answers
1k
views
Monge Ampere equations
I am a graduate student trying to understand complex Monge-Ampere equations(mostly on complex manifolds with or without boundary, but also in C^n), but I can't put my hand on any monograph/textbook ...
- 1,211
8
votes
2
answers
670
views
Asymptotic behavior of a certain oscillatory integral
Let $x>0$ and consider the integral
$$I(x):=\int_0^\infty \frac{e^{i r}}{r^{\frac{1}{2}}} \int_0^\infty \frac{e^{-s}}{s^{\frac{1}{2}}} \frac{r}{sx+\sqrt{sxr}+r} \, ds \, dr.$$
I am trying to ...
- 852
8
votes
2
answers
2k
views
Differential forms, PDE's and Élie Cartan
Hello everybody, I would like to know about the work of Élie Cartan of PDE's that relate to the theory of foliations and differential forms.
I am interested in the subject and will be happy to ...
- 83
8
votes
3
answers
701
views
Regularity of Newtonian potential along smooth boundary
Let $\Omega$ be a bounded open set in $\mathbb{R}^n$ with $C^\infty$ boundary, $n\ge 3$. Define
$$V(z)=\int_\Omega \frac{1}{|z-y|^{n-2}}dy$$
Is it true that $V(z) \in C^{\infty}(\partial \Omega)$?
...
- 1,350
8
votes
3
answers
884
views
abstract evolution equations
Hi
Whenever I read a book on evolution equations, they set up, say the parabolic PDE
$$\dot{y} = Ay + f$$
in abstract function spaces (eg. $L^2(0,T;V)$ and $L^2(0,T;V^*)$). In examples, they always ...
- 107
8
votes
1
answer
3k
views
Alexandrov-Bakelmann-Pucci maximum principle
The ABP maximum principle states (roughly) that, if $a^{ij} \partial _i \partial _j u \geq f$, over a domain $\Omega$ in $\mathbb{R}^n$ (where $a^{ij} \geq C Id >0$), then (assuming sufficient ...
- 3,383
8
votes
5
answers
6k
views
Lie Groups and PDEs
A friend of mine recently explained to me a little bit about using Lie groups and symmetries to obtain solutions of PDEs. I was interested and wanted to learn a bit more about it. He's been using ...
- 109
8
votes
2
answers
3k
views
Moser iteration for elliptic systems
I heard that De Giorgi-Nash-Moser type regularity arguments fail for elliptic systems, but do not know where to start looking for more substantial information. Why does the regularity fail? Is there ...
- 3,322
8
votes
2
answers
538
views
Compactly-supported harmonic tensors
Let $({M},g)$ be a connected and non-compact Riemannian manifold without boundary. If $L:\Gamma^{\infty}(E)\to \Gamma^{\infty}(E)$ is a linear second order elliptic operator on some smooth $\mathbb{R}$...
- 1,171
8
votes
3
answers
858
views
What does the flow of the principal symbol of the differential operator tell us about the PDE?
Disclaimer: Let me apologize in advance for asking this slightly vague question
Let $M$ be a manifold and let $P$ be a partial differential operator acting on $C^{\infty}(M)$. Associated to $P$ there'...
- 7,789
8
votes
2
answers
634
views
Existence of a uniformly continuous function $g$ on $\mathbb{R}$ where $f = g$ a.e.?
Suppose $f \in L^\infty(\mathbb{R})$, $f_h(x) = f(x + h)$, and$$\lim_{h \to 0} \|f_h - f\|_\infty = 0.$$Does there exist a uniformly continuous function $g$ on $\mathbb{R}$ such that $f = g$ almost ...
- 113
8
votes
4
answers
811
views
Schwartz space of functions with values in a Frechet space
While reading some papers about $\psi$DOs I found some spaces of vector valued functions which I am not familiar with. I am looking for references about the Schwartz space of functions with values in ...
- 601
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 728
8
votes
3
answers
4k
views
3D conformal mappings
Are there analogues to conformal mapping in 3 dimensions?
I have a specific example I am trying to solve.. Laplace's equation in 3D with slightly complicated rectilinear boundaries. (Think of ...
- 153
8
votes
1
answer
313
views
Lower bound $\int_0^1 \frac{|f'(x)|^2}{f} \,\mathrm{d} x$ by $\int_0^1 |f-1|^2\, \mathrm{d} x$
Assume that $f$ is a probability density on $x \in (0,1)$, I want to obtain a bound of the following form (if it is possible at all): $$ \int_0^1 \frac{|f'|^2}{f} \,\mathrm{d} x \geq C\,\int_0^1 |f-1|^...
- 730
8
votes
2
answers
350
views
Compressible Ebin-Marsden?
In Ebin and Marsden's paper Groups of Diffeomorphisms and the Motion of an Incompressible Fluid, there is a footnote on the first page indicating that non-homogeneous cases and the case of ...
- 39k
8
votes
3
answers
1k
views
How to find the associated conservation law from a given symmetry
It is a very well-known fact that any conservation law associated with some given PDE has an associated invariance (by Noether's Theorem). However, it is completely mysterious for me how to compute/...
- 395
8
votes
2
answers
2k
views
when a pseudo-differential operators to be compact?
In the theory of Pseudo-differential operators,when a symbol $a(x,\xi)\in S^{0}$,then the operator $a(x,D)$ defined by$$a(x,D)u=\int{e^{ix\xi}a(x,\xi)\widehat{u}}d \xi$$ is $L^2$ bounded.$ $
My ...
- 1,644
8
votes
1
answer
584
views
Reference request: Software for producing sounds of drums of specified shapes
Is there software that, when the input is the shape of a drum, will produce the corresponding audible sound?
