**7**

votes

**1**answer

382 views

### What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific:
Definition. Let $H$ be an ...

**2**

votes

**1**answer

119 views

### Local Biot-Savart law in $B(x_o,r) \subset \mathbb R^2$

Let $u: \mathbb R^2 \to \mathbb R^2$ and let $\omega = \text{curl } u$ be the 2D vorticity of $u$, where $u, \omega \in L^2(\mathbb R^2)$ and $\nabla \cdot u = 0$. The classical Biot-Savart law states ...

**4**

votes

**0**answers

57 views

### A “gradient” weak Harnack inequality for quasilinear elliptic equations

Suppose we are in the following loosely described setting:
we have a non-negative supersolution $h$ of the following elliptic equation:
\begin{equation}
\Delta h + \|\nabla h\|^2 + f(x) \geq 0
...

**4**

votes

**0**answers

273 views

### A vector space associated with a vector field on a symplectic manifold

Let $(M,\omega)$ be a $2n$ dimensional symplectic manifold and $X$ is a smooth vector field on $M$. Consider the following subvector space of $\chi^{\infty}(M)$: $$S(X)=\{Y\in ...

**4**

votes

**0**answers

85 views

### Continuity of the curve-shortening flow with respect to the curve

The curve-shortening flow is an evolution equation for a smooth closed curve $\alpha$ inmersed in a Riemannian surface $M$. The version where $M$ is the Euclidean plane is illustrated for example in ...

**0**

votes

**1**answer

125 views

### Implicit function theorem for elliptic partial differential equations

Consider the elliptic equation $-\Delta u=\alpha f(u)$ in $R^n$ and assume that for some $\alpha^* \in R$ it has a bounded smooth solution $u^*$ in $R^n$ ($f$ is a nice smooth function). Under what ...

**4**

votes

**1**answer

230 views

### Schrodinger equation with magnetic vector potential

In many papers dealing with the Schrodinger equation with magnetic potential
$$u_t=i(\nabla+iA(t,x))^2u$$
the authors say that this equation can be studied with Kato's methods for abstract evolution ...

**0**

votes

**2**answers

108 views

### Friedrichs/Poincare inequality on $S_n \times (0,\infty)$?

Should I expect the following Friedrichs/Poincare inequality to hold for $u \in C^\infty(S_n \times (0,\infty))$ with $u(x,0) = 0$:
$$\int_{S_n \times (0,\infty)}|u|^2 \leq C\int_{S_n \times ...

**0**

votes

**1**answer

161 views

### Cauchy problem for an overdetermined system of PDE

This question is strictly related to this one. Let us consider the differential system with constant coefficients
$$\left(\begin{array}{ccc}
B_{11} & B_{12} & 0\\
...

**2**

votes

**1**answer

128 views

### Method of characteristics of a system of first order pdes

I asked the question on math.stackexchange.com, but didn't get any reply. So, I asked it again here. Any suggestion or hint is welcome, and thank you for your attention.
Consider the system of first ...

**5**

votes

**1**answer

140 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 ...

**2**

votes

**0**answers

212 views

### A integral equation with Discrete to result by inverse problem

Problem
I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here, (I know the ...

**1**

vote

**1**answer

131 views

### Poincare inequality on balls to arbitrary open subset of manifolds

Let $M$ be an n-dim compact Riemannian manifold with $Ric \geqslant -(n-1)$, it's well known that the following Poincare inequality holds for any function $f\in W^{1,2}(M)$
$$
\frac{1}{m(B)}\int_B ...

**2**

votes

**0**answers

72 views

### Is logarithmic convexity of the heat kernel with complex time a general fact?

Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...

**0**

votes

**0**answers

19 views

### Existence to an advection equation with level-set constraints

Let $f: \mathbb R^n \to \mathbb R^n$ be a sufficiently smooth vector field and let $h: \mathbb R^n \to \mathbb R$ a scalar field. We consider the following advection equation
...

**1**

vote

**1**answer

55 views

### Regularity of solution to a hyperbolic pde

I have a question concerning 2nd order evolution equation of the form $u''(t)+A(t)u(t) = f(t)$ in $L^2(0,T;V^*)$, where $f\in\ L^2(0,T;H)$ holds. Under what assumptions is it possible, to guarantee a ...

**1**

vote

**0**answers

72 views

### A bilinear estimate in Lp space

Let $\varphi(D)$ be a Fourier multiplier with symbol $\varphi(\xi) = \xi/(1+|\xi|^2)$. It's easy to prove that
\begin{equation}
\|\varphi(D)u^2\|_{H^s(R)}\lesssim \|u\|^2_{H^s(R)} \quad (*)
...

**0**

votes

**1**answer

114 views

### Question on viscosity solution through stochastic differential equations

I have learned that for the equation $\partial_tu+a(u)\partial_xu=0$, the entropy solution could be obtained as the limit of the equation $\partial_tu+a(u)\partial_xu=\epsilon u_{xx}$ with ...

**2**

votes

**0**answers

136 views

### Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...

**2**

votes

**0**answers

95 views

### Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem
$$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...

**4**

votes

**0**answers

35 views

### On a continuous extension of a linear 2nd order PDE

Consider an elliptic (hyperbolic) equation
$A(x,y) u_{xx} + 2B(x,y) u_{xy} + C(x,y) u_{yy} = 0$
in a bounded open plane set $D$, with real-valued functions $A$, $B$, and $C$. Is it true that at least ...

**2**

votes

**0**answers

62 views

### Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse.
Does there ...

**5**

votes

**1**answer

460 views

### Beginners Guide to Cartan for Beginners [closed]

I am working through parts of Cartan For Beginners by Ivey and Landsberg. Thankfully some exercises have solutions, but, we would benefit from some additional guidance.
Question: I am seeking ...

**3**

votes

**1**answer

116 views

### Application of Egorov's Theorem for Pseudodifferential Operators

Let $\;P_{0} \in OPS^{m}_{1,0}(\mathbb{R}^{n} \; \times \; \mathbb{R}^{n})\;$, $\;A \in OPS^{1}(\mathbb{R}^{n} \; \times \; \mathbb{R}^{n})$ and $S(t)$ the solution operator of the scalar hyperbolic ...

**2**

votes

**2**answers

197 views

### System of linear first order PDE with constant coefficients

recently in my researches I've come across the following operator
$$L\left(\begin{array}{c}
a_1\\
\vdots\\
a_n
\end{array}\right)=M_1\left(\begin{array}{c}
...

**2**

votes

**1**answer

121 views

### Well-posedness of heat equation with distributional right hand side

The question is about well-posedness of heat equation
$$
\frac{\partial\Theta}{\partial t}=\alpha^2\Delta\Theta+p(t)\delta(x-u(t))\delta(y-v(t)),~~ (x,y,t)\in\Omega\times[0,T],
$$
subjected to ...

**4**

votes

**1**answer

216 views

### Uhlenbeck's theorem novelty

This link provides a short introduction to the contributions of Uhlenbeck about regular gauge fixing. However, I feel quite puzzled about it and I do not understand the real novelty apported by this ...

**2**

votes

**1**answer

103 views

### Is the on-diagonal heat kernel “local” with respect to the metric?

Question
Let $X$ be a manifold, and $\mu_A$, $\mu_B$ two Riemannian metric on it which agree on an open subset $U\subset X$, i.e. $\mu_{A\,|U} = \mu_{B\,|U}$. Let $K_A(t;z,w)$ resp. $K_B(t;z,w)$ be ...

**0**

votes

**2**answers

138 views

### Frobenius condition

Suppose X and Y are two unit length vector fields on a Riemannian manifold which are orthogonal at each point. Is it true that the lie bracket of X, Y belongs to the span of the vector fields at each ...

**0**

votes

**0**answers

65 views

### How to prove it is uniformly bounded?

Let $\Omega$ be a bounded domain with smooth boundary. Say $\theta\in(0, 1]$. Let $u(x, \theta)$ be a solution to the problem $\Delta u-\theta u=g(x)$ subject to Neumann boundary condition. Suppose ...

**1**

vote

**0**answers

81 views

### Free Endpoint of Minimization Problem

Consider the following minimization problem $$\inf \left\{ \int\limits_{-\infty}^0 \left[ (\psi')^2 + m(y)(\psi - F)^2 \right]\; : \; \psi \in H^1(\left(-\infty,0\right]) \right\}$$ where $m(y) > ...

**4**

votes

**1**answer

172 views

### Extension of solutions of PDEs with constant coefficients

Let $\mathcal L$ be a differential operator with constant coefficients and $\mathcal{L} f=0$ for some $f\in C^{\infty}(\mathbb{R}^n).$
Under what conditions on $\mathcal {L}$ the function $f$ extends ...

**2**

votes

**2**answers

86 views

### Estimates on a heat process with fixed boundary data and zero initial conditions

Consider the following heat process:
For a given (say, smooth) domain $\Omega$ on a closed manifold $M$ we construct $p(t,x):\mathbb R_+ \times \bar\Omega \rightarrow [0,1]$, so that
$$
\partial_t ...

**0**

votes

**1**answer

102 views

### Prove a function, defined by integration of a harmonic function, is log-convex [closed]

Let $u$ be a harmonic function and we define
$$ q(r)=\int_{\partial B(0,r)}u^2(x)\,dx $$
The question is about to prove that $q(r)$ is log-convex, i.e., I want to show $\log q(r)$ is convex function ...

**0**

votes

**0**answers

42 views

### Regularity of solutions to $u' + Au = f$ for nonlinear monotone operator $A$

Consider the equation
$$u' + Au = f$$
$$u|_{\partial \Omega} = 0$$
$$u(0) = u_0$$
where $A:L^p(0,T;W^{1,p}_0) \to L^q(0,T;W^{-1,q})$ is some monotone nonlinear operator (with additional assumptions). ...

**1**

vote

**1**answer

44 views

### Point moving inside smooth domain?

Let $U \subset \mathbb{R}^2$ be a domain im $\mathbb{R}^3$ with smooth boundary. Let a point move inside $\mathbb{R}^3$ along the smooth curve $x(t)$. We denote by $\mbox{dist}(x(t), \partial U)$ the ...

**3**

votes

**0**answers

94 views

### Continuously dependent on parameters [closed]

How do we check whether the solution is continuouly dependent on parameters?
Let $\Omega$ be a domain with smooth boundary. Say $f$ and $h$ are smooth. Assume that for each $\theta\in (0, 1]$, the ...

**0**

votes

**1**answer

94 views

### Complex transport equation

Consider an n dimensional Riemannian manifold with boundary.
Let $\Phi$ be a complex valued smooth function defined in M. Does there exist a NONE VANISHING complex valued function $u$ that solves the ...

**9**

votes

**1**answer

238 views

### applications of C$^*$-algebras in the field of PDEs

I know only a little bit about C$^*$-algebras and I want a to know if you know a nice apllication or the influence of them in the field of partial differential equations (it is better that it is ...

**6**

votes

**2**answers

141 views

### Is there a maximum principle for stress in continuum mechanics?

I'm working with the equilibrium equations in linear elasticity, which I have not worked with in the past. My engineering colleagues seem to "know" that the maximum Von Mises stress occurs on the ...

**2**

votes

**1**answer

62 views

### Dichotomy for global existence or blow up for solutions of evolution problems

Consider the problem (Nonlinear Schrödinger equation)
\begin{equation}
\left\{
\begin{array}{rl}
iu_t + \Delta u\mp u|u|^{\alpha}=0\\
u(0) =\varphi\in H^{1}(\mathbb{R}^N), \\
...

**1**

vote

**0**answers

39 views

### ABP estimates for semiconvex functions [closed]

Referring to the classical ABP Estimate (Gilbarg-Trudinger Lemma 9.2) I am looking for if such an estimate can be generalized to semiconvex functions. In an article of Trudinger (Comparison Principles ...

**1**

vote

**0**answers

32 views

### Introduction to free boundary problems (that are not Stefan problems)

Could someone recommend some notes/papers that deal with existence/regularity of free boundary problems arising from parabolic equations (excluding Stefan type equations)?
I am thinking of eg. ...

**1**

vote

**0**answers

24 views

### Is it classical that the solution to an hyperbolic equation equation is Lipschitz -continuous $[0,\infty)\to L^1(\mathbb{R})$?

Recently I am reading a paper "Global solution and smoothing effect for a non-local regularization of a hyperbolic equation" published on J.E.E, 2004. In the proof, the authors write "It is classical ...

**3**

votes

**1**answer

109 views

### Surfaces with specific types of second fundamental form

Given a three dimensional Riemannian manifold $(M,g)$ and a surface $\Sigma \subset M$ can one categorize surfaces where the second fundamental form of $\Sigma$ is a scalar multiple of the induced ...

**5**

votes

**2**answers

173 views

### Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...

**4**

votes

**1**answer

120 views

### PDEs on torus $\mathbb T$

(Hope this question is o.k. for MO)
I have been learning PDE(non linear dispersive equations) techniques, mainly using harmonic analysis(kind of Strichartz estimates, estimates for unimodular ...

**5**

votes

**2**answers

250 views

### Poincare-like inequality on compact Riemannian manifolds

I am looking for a Poincare Inequality on balls but instead of euclidean space, I have a compact Riemannian manifold without boundary. The inequality I am looking for is the equivalent of
$$ ...

**0**

votes

**1**answer

125 views

### Equivalence of two definitions of Sobolev spaces

Good morning,
I am looking for a reference about the following fact that seems to be folklore. Define the Sobolev (Beppo Levi?) space
$$
D^{1,p}(\mathbb{R}^N) = \left\{ u \in L^{p^*}(\mathbb{R}^N) ...

**4**

votes

**1**answer

120 views

### Minimal surfaces + Semi-Geodesic Coordinates

Let $(M,g)$ be a three dimensional smooth Riemannian manifold and suppose that $\Gamma$ is an embedded minimal surface in $M$. Define the Fermi or semigeodesic coordinates around this surface through ...