2
votes
1answer
160 views

Classical theory for the incompressible Euler equation (reference request)

I have recently been interested in the incompressible Euler equation, but since I am new to the topic, I would like to inquire what are the standard sources/references (for self-study) regarding the ...
0
votes
1answer
79 views

Fractional Laplacian on compact hypersurface/manifold via harmonic extension?

Let $M$ be a sufficiently smooth compact hypersurface of dimension $n-1$ in $\mathbb{R}^n$. In pages 10-11 of this paper, the authors define $\mathcal{M} = M \times (0,\infty)$ and consider the ...
2
votes
0answers
45 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 ...
0
votes
1answer
85 views

Nonlocal (parabolic) PDEs in the Sobolev space setting

Can someone recommend me some literature on nonlocal parabolic problems (eg. of the form $$u_t + (-\Delta)^s u = f$$ where the nonlocal operator is the fractional Laplacian) in the setting of Sobolev ...
5
votes
2answers
181 views

Probabilistic Interpretation of First Dirichlet Eigenvalue?

The first Dirichlet eigenvalue of a compact domain $\Omega\subset\mathbb{R}^n$ with smooth boundary is the smallest positive number for which there exists a non-trivial solution to $$ -\Delta\psi = ...
0
votes
0answers
94 views

A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?

Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form $$u_t(t) - ...
0
votes
2answers
130 views

A basic question about JL Lions' transformation of a Stefan problem

In J.L Lions' book "Quelques méthodes de résolution des problèmes aux limites non linéaires" (page 196), the author considers a two-phase problem with moving boundary separating the interface. The ...
1
vote
1answer
190 views

Reference request: Boundary behavior and quantitative lower bound for the principal eigenfunction of an elliptic PDE in a ball $B(r)$

Consider the elliptic eigenvalue problem $$ \begin{cases} \int_{B(r)} A(x) \nabla u \cdot \nabla \phi \, dx &= \ \ \frac{\lambda_1}{r^2}\int_{B(r)} u \phi \, dx \\ \qquad \qquad \qquad \quad ...
0
votes
1answer
170 views

Showing $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous?

Let $\Omega\subset\mathbb R^n$ be a bounded Lipschitz domain. How does one prove that the inclusion $H^1(\partial\Omega) \subset H^{\frac 12}(\partial\Omega)$ is continuous? I define $H^{\frac 1 ...
0
votes
2answers
71 views

References for well-posedness of weak solutions to Stefan problem

Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)? ...
0
votes
2answers
119 views

Defining surface integral on boundary of $C^1$-domain

Let $\Omega$ be a bounded $C^1$ domain with bounded boundary $\partial\Omega$. Can someone point me to a reference where the surface integral of a measurable function $f\colon \partial\Omega \to ...
1
vote
1answer
112 views

If $u \in W^1(0,T;L^2,H^1)$ and $\varphi \in C^1([0,T]\times \Omega)$ then $\varphi u \in W^1(0,T;L^2,H^1)$?

Let $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Define $$W^1 := W^1(0,T;L^2,H^1) := \{w \in L^2(0,T;H^1(\Omega)) \mid w' \in L^2(0,T;H^{-1}(\Omega))\}$$ where $w'$ means the weak ...
1
vote
1answer
110 views

Differences between parabolic operators of second order and higher order

Properties of parabolic operators of second order have been extensively studied, such as the existence or uniqueness theorem. In higher order case ($u_t-P(D)u$, where $P$ is a $2m$ order uniformly ...
17
votes
1answer
713 views

The origin of Discrete `Liouville's theorem'

It is known that discrete Liouville's theorem for harmonic functions on $\mathbb{Z}^2$ was proved by Heilbronn (On discrete harmonic functions. - Proc. Camb. Philos. Soc. , 1949, 45, 194-206). If ...
3
votes
0answers
166 views

Reference on a Monge-Ampère-like equation

We recently realized that a geometric questions of interest to us is strongly related to the regularity of solutions of the following simple equation on the unit disk in $R^2$: $$ \det(Hess(w))=1~, $$ ...
2
votes
0answers
60 views

What's a good resource for Hormander symbols of type (1/2, 1/2)?

I'm currently working with some pseudodifferential operators of Hormander class $L^{m}_{\frac{1}{2},\frac{1}{2}}$ and unfortunately many of the usual tools break down, due to difficulties with their ...
2
votes
1answer
196 views

Spectrum of the Laplace-Beltrami operator on $L^p$: where is it?

On a noncompact Riemannian manifold $M$, the $L^2$-spectrum of the Laplace-Beltrami operator $\Delta$ sits inside $\mathbb{R}$ (by self-adjointness), either to the left or to the right of $0$ ...
2
votes
1answer
166 views

Reference request: harnack inequality for distributional solutions of the heat equation

Dear Math Overflowers, I'm looking for references on the parabolic Harnack inequality for distributional solutions of the heat equation on the whole space $$ \partial_t u=\Delta u\quad\text{and}\quad ...
0
votes
0answers
133 views

Cheeger-Gromov-Taylor theory on manifolds with boundary

I was reading the paper "Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds" by Cheeger, Gromov and Taylor and I am ...
10
votes
1answer
287 views

Who is Petrov of the Petrov-Galerkin method?

I was not able to find the origin of the name Petrov in the Petrov-Galerkin method for the numerical approximation of PDEs. Wikipedia refers to a certain Alexander G. Petrov, but it is still not ...
0
votes
1answer
106 views

weak solution of viscous Burgers equation with non-homogeneous Dirichlet boundary conditions

I was wondering if anybody knows (and can give me a reference, please) if the PDE below has a unique weak solution. I can only find the result if we consider homogeneous Dirichlet boundary conditions, ...
1
vote
2answers
154 views

vector valued pde's good reference

I recently came across a Dirichlet problem for a vector valued functions. In broad terms the problem is as follows. Suppose $\Omega \subset \Bbb R^n$ is a smooth bounded domain, $P:C^\infty(X)^n ...
1
vote
0answers
39 views

parabolic PDE with pseudomonotone operators

I am looking for a reference where well-posedness of problems $$u_t + A(t)u = f$$ is addressed via the Galerkin method where $A$ is a pseudomonotone operator. I am aware that Roubicek's book ...
2
votes
1answer
238 views

Fully non-linear PDE

A nice method of obtaining existence of solutions of many geometrically defined (and hence highly degenerate) parabolic systems (such as mean curvature flow) involves the reduction of the system to a ...
3
votes
1answer
189 views

Boundary flux maximizing drift (velocity) vector fields for 2D heat equation

Looking for literature / known results on the following class of problems: Consider the domain bounded, open $\Omega\in \mathbb R^2$ with smooth boundary, divergence free drift $u=u(x,t)$, scalar ...
1
vote
1answer
129 views

Nonlinear parabolic PDEs existence with Galerkin method?

Can someone give me some references to read where existence/uniqueness of nonlinear parabolic PDE are treated via the Galerkin method or fixed point methods or something like that (anything but ...
1
vote
1answer
206 views

Reference request: Spectral analysis of advection diffusion PDE

As the title says, I am looking for a authoritative reference/monograph on this topic. My interest is in spectral properties of this PDE, and NOT on existence/uniqueness etc. which is usually the ...
1
vote
2answers
134 views

Reference Request: Spatially inhomogeneous solutions to parabolic PDE with homogeneous initial data

I am interested in spatially inhomogeneous classical bounded solutions $u:\mathbb{R}^n \times [0,T] \to \mathbb{R}$ to the Cauchy problem for semi-linear parabolic PDE, which have homogeneous initial ...
3
votes
1answer
192 views

Heat Equation on $[0,T] \times \mathbb{R}^n$

I'm currently looking for a complete proof of a classical result (very useful for viscosity methods) and surprisingly all the references I can get study the heat equation on bounded domain. Do you ...
5
votes
3answers
361 views

PDEs involving measures; where to begin?

If I want to learn about existence of weak solutions to PDEs of the form $$u_t + Au = f$$ or $$Au = f$$ where $A$ is elliptic and $f$ is a measure, where do I start? I know the Galerkin method for ...
3
votes
2answers
233 views

Non symmetric coefficient matrix for elliptic PDE

Let $\Omega \subset \mathbb{R}^n$ be a domain and consider the PDE in divergence form $$ D_i(a_{i,j}D_ju)=0 \tag{1}$$ where $a_{i,j}(x)$ are measurable and satisfly the uniform ellipticity ...
3
votes
1answer
167 views

Caccioppoli-Leray Inequality for De Giorgi's theorem proof

I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients. This is the translation of the original paper De Giorgi paper At page ...
1
vote
1answer
163 views

If a function is defined in terms of a solution to an initial value problem, is it also solution to an initial value problem?

Say $f:\mathbb R^{n+1}\to \mathbb R^p$ is a solution to an initial value problem, and $g:\mathbb R^{n+1}\to \mathbb R^q$, so that the components of $g$ can be expressed as polynomials in $f$, $f'$, ...
0
votes
1answer
174 views

Quantitative Global Schauder Estimates/Hölder Regularity

Consider the linear second order elliptic Dirichlet problem $$-\nabla\cdot (a\nabla u)\quad u=0 \text{ on }\partial\Omega$$ Condtion 1:$\Lambda |\xi|^2\geq\sum a_{i,j}(x) \xi_i \xi_j \geq \lambda ...
2
votes
2answers
166 views

The logarithmic fast diffusion equation in one space variable with periodic boundary conditions.

I need to know about this non-linear logarithmic fast diffusion equation for a function $u(x,t)$ of one space variable $x$ and time $t$: $$ u_t = (\ln u)_{xx}$$ which is to run on an interval $ a \leq ...
4
votes
1answer
142 views

variation of the obstacle in the obstacle problem

Suppose $D \subset \Bbb C$ with smooth boundary. Let $f \in C^{1,1}(D)$. Let $\varphi$ be the supremum of all members in the set $$\lbrace g \in C^{\infty}(\overline{D})| g \ is \ subharmonic \ and ...
14
votes
1answer
421 views

The Riemann zeros and the heat equation

The Riemann xi function $\Xi(x)$ is defined, with $s=1/2+ix$, as $$ \Xi(x)=\frac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s)=2\int_0^\infty \Phi(u)\cos(ux) \, du, $$ where $\Phi(u)$ is defined as $$ ...
5
votes
1answer
395 views

Regularity of the Maxwell equations

As is well-known, the Maxwell equations can be phrased vectorially as, \begin{align} \nabla \cdot \mathbf E &= \frac{\rho_f}{\varepsilon}, &\text{Gauss's law,}\\\ \nabla \cdot \mathbf ...
3
votes
1answer
147 views

Subharmonic envelope

I came across a more complicated version of the following problem. It is so elementary, I think that there had to be some research done on this in the past. If someone has any ideas please let me ...
2
votes
1answer
132 views

Reference request: Stability / instability theory for periodic orbits of partial differential equations

I am looking for references regarding the stability / instability of a periodic solution to a partial differential equation / evolution equation in infinite dimensions. Suppose we have a periodic ...
3
votes
1answer
148 views

Reference Request: Schauder theory for fourth-order parabolic equations

I am looking for a treatment of fourth order parabolic equations in Holder spaces. More precisely fourth order analogues of Theorems 5.1, 5.2, and 10.1 in Chapter IV of Linear and quasilinear ...
2
votes
2answers
266 views

Linear coupled parabolic PDE system with Holder continuous coefficients

I am interested in proving existence/uniqueness to: find $u(x,t)$, $v(x,t)$ such that $$u_t - a_1u_{xx} - a_2u_x - a_3u -a_4v = f$$ $$v_t - a_5u_{xx} - a_6u_x - a_7u - a_8v_{xx} - a_9v_x - a_{10}v = ...
0
votes
1answer
110 views

Reference: DaPrato and Grisvard parabolic PDEs.

Has anyone read G. DaPrato and P. Grisvard Equations d'evolution abstraites nonlineaires de type parabolique? It's not available in my library. I am wondering if it's worth me acquiring it: is it ...
1
vote
1answer
390 views

Tensor analysis/Differential forms outside physics

There are many "geometric systems" like tensor analysis or differential forms calculus, which more or less different perspectives onto the same abstract relations. Most applications are physical, ...
1
vote
0answers
97 views

base change for distributions

For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...
1
vote
0answers
157 views

Pitfalls when generalizing the heat kernel of a Riemannian metric

Suppose $M$ is a Riemannian manifold with some compact quotient under isometries. Associated with the Riemannian metric one has the Laplace-Beltrami operator $\Delta$ and the heat kernel $p(t,x,y)$ ...
1
vote
3answers
829 views

book on PDE on manifolds

let $M$ be a Riemannian manifold and $\alpha$ be any some unknown form on $M$. I am interested in solutions or some references of the equation of type $(d + \delta) \alpha = 0$ where $\delta$ is the ...
1
vote
1answer
144 views

$L^2$-de-Rham complex on Lipschitz domains has smooth harmonic forms?

I would like to know for which choice of boundary conditions the title statement is true. Let $\Omega$ be a bounded Lipschitz domain in $\mathbb R^n$, for which we regard the $L^2$-de-Rham complex. ...
2
votes
2answers
401 views

Monge Ampere equations (concavity)

The Monge-Ampere (whether real or complex, whether in a domain or on a manifold) equations usually studied are of the type $F(u, \nabla u, \mathrm{Hess}(u)) = 0$ where $F$ is a concave function of ...
6
votes
3answers
527 views

Moser regularity proof avoiding John-Nirenberg lemma

I heard a rumor that there exists a proof by Moser-style iteration of the $C^{0,\alpha}$-regularity for $W^{1,2}$-solutions $u$ to elliptic equations with measurable coefficients which does not rely ...