# Tagged Questions

**0**

votes

**0**answers

25 views

### stokes-equation estimate in $L^2(0,T,L^\frac{3}{2}(\Omega))$

I'm interested in the default Stokes-system, e.g.
$ \frac{\partial}{\partial t} u - \Delta u + \nabla p = f \; \text{in} \; \Omega$
$ \nabla \cdot u = 0 \; \text{in} \; \Omega$
$ u = 0 \; \text{on} ...

**4**

votes

**1**answer

404 views

### Existence and uniqueness of solutions for a nonlinear elliptic PDE

The following nonlinear elliptic PDE arose in my research:
$$\Delta f - e^f \partial_s f = E(s,t)\,,$$
where $f : \mathbb R(s) \times \mathbb R/\mathbb Z(t) \to \mathbb R$, $f = f(s,t)$, is the ...

**4**

votes

**0**answers

91 views

+100

### Is a harmonic function with injective boundary conditions an immersion outside a negligible set?

This question is a strengthening of this question.
Let $(M,g)$ be an $n$-dimensional, connected, compact Riemannian manifold with boundary. Assume we are given an immersion $f \colon M \to ...

**3**

votes

**0**answers

111 views

### Critical case of Sobolev Embedding

I got stuck in the following lemma:
Lemma 1: Let $B$ be the unit ball in the 4 dimensional Euclidean space. Suppose that $u\in W^{2,2}(B)$, then $e^{u}\in L^{q}$ for any $q\geq1$.
Actually, I ...

**2**

votes

**1**answer

88 views

### Is the Lopatinski-Shapiro condition invariant under diffeomorphism?

If a PDE (eg. the heat equation with Robin BCs, or the elliptic version) on a bounded smooth domain $U$ satisfies the Lopatinski-Shapiro condition (for a definition see eg. Wloka), and if $T:U \to W$ ...

**0**

votes

**0**answers

27 views

### Mixed PDE/finite difference equation

I have the following mixed pde/finite-difference equation for $f(t,x,y)$:
$a x^2 f_{xx} + bxf_x + f_t - bxy + c\sinh(d\delta) = 0$
subject to $f(T,x,y)=0$, $x>0,\ t\geq 0,\ y\in\mathbb Z$,
...

**0**

votes

**0**answers

21 views

### how can we extend this result [duplicate]

Let $T_{a},a\in C$ be a closed operator defined on $D$ subspace of $L^{2}(R)$ onto $L^{2}(R)$ $(T_{a}: D\rightarrow L^{2}(R) )$ with
$D$ contains a Schawrz space $S$
...

**1**

vote

**1**answer

178 views

### Reference for holder estimate on parabolic equation with neumann boundary condition

I saw a type of holder estimate in Friedman's book: partial differential equations of parabolic type(page 200 3.24) as following:
Suppose we have a uniformly parabolic equation with holder ...

**0**

votes

**0**answers

25 views

### a solution of nonlinear wave equation

I am looking for a solution for the following wave equation:
$u_{xx}+u_{yy}=F(x,y)u_{tt}$
where
$F(x,y)=\sqrt{E(x,y)/P(x,y)}$
and $E(x,y)$, $P(x,y)$ are linear functions.
Is there any analytic ...

**1**

vote

**0**answers

73 views

### Applications of the Weak and Weak$^*$ topologies to PDEs?

Chapter $3$ of Functional Analysis, Sobolev Spaces and Partial Differential Equations by Haim Brezis constructs and explains the Weak and Weak$^*$ topologies over a Banach Space $E$.
The most ...

**11**

votes

**2**answers

434 views

### Unexpected regularity of the distance from a $C^2$ submanifold

Let $\Gamma$ be a $C^2$ compact submanifold of $\mathbb{R}^n$. Consider the distance function $\delta$ from $\Gamma$. It is well known that, for sufficiently small $\varepsilon>0$, $\delta$ is ...

**2**

votes

**2**answers

106 views

### Symplectic formulation of compressible Euler equation

It has been widely known that the compressible Euler equation can be cast into the Hamiltonian form. For example, in the book "Dubrovin B A, Fomenko A T, Novikov S P. Modern geometry—methods and ...

**2**

votes

**0**answers

59 views

### Strengthening of the local smoothing estimates for the free Laplacian

The classical local-smoothing estimates for the free Laplacian asserts that:
$$\Vert e^{-it\Delta}f\Vert_{L^2((-\infty,+\infty)\,;\,H^{1/2}(B))}\leq C_B\cdot\Vert f\Vert_{L^2}$$
where ...

**-1**

votes

**0**answers

113 views

### Wave kernel for the circle $S^1$ - Poisson Summation Formula [on hold]

Question : How could I compute the (wave) kernel from the fact I have already found (wave) trace on unit circle?
The definitions are related to the page $25$ of the following pdf.
As the ...

**0**

votes

**0**answers

60 views

### Order of vanishing of Laplace's equation with potential

Consider the equation $-\Delta u + V u = 0$ with Dirichlet boundary conditions on the bounded domain $\Omega \subseteq \mathbb{R}^n$, where $V$ is a smooth potential. Let $V \leq 0$, and bounded on ...

**4**

votes

**0**answers

131 views

### Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories

Let
$d\in\left\{2,3\right\}$
$\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$
$\Phi_t:\mathcal V_0\to\mathcal V_t$ such that ...

**0**

votes

**0**answers

147 views

### Isothermal coordinates

Is there an application or interest in studying the isothermal surfaces where the metric is $ds^2=E∗(du^2+dv^2)$ and where $E>0$ is an harmonic function?
I know that this metric is a special kind ...

**5**

votes

**0**answers

154 views

### Dual of $BV_0(\Omega)$

It is previously pointed out in Dual or pre-dual of BV that the dual of $BV_c(\Omega)$ (BV functions with essentially compact support in $\Omega$) are so called strong charges, i.e. distributions for ...

**1**

vote

**1**answer

55 views

### The dependence of constant in a trace theorem on the diameter of domain

The trace theorem says for a nice domain, say bounded Lipchitz domain, $\Omega$, we have
$$\left\Vert Tu \right\Vert_{H^{1/2}(\partial \Omega)} \leq C \left\Vert u \right\Vert_{H^1(\Omega)},$$
where ...

**1**

vote

**1**answer

1k views

### Green's functions of Stokes flow?

In mathematics, a Green's function is a type of function used to solve inhomogeneous differential equations subject to specific initial conditions or boundary conditions. A fundamental solution for a ...

**3**

votes

**0**answers

55 views

### On the principal eigenvector of an elliptic operator

Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$:
...

**1**

vote

**0**answers

55 views

### Characteristic field

On page 423 (page 9 of PDF) of the paper by Lions and Perthame, the authors write as equation (39) the Vlasov equation as
$$\frac{\partial f}{\partial t} + v \cdot \nabla_x f + F \cdot \nabla_v f = ...

**2**

votes

**1**answer

592 views

### How to apply Lagrange Multipliers to BCs of Time Dependent problems using finite elements?

I am trying to implement a finite element scheme using the method of lines (finite difference in time and finite element in space) and enforcing boundary conditions using Lagrange Multipliers. This ...

**0**

votes

**0**answers

48 views

### Is $\Delta u+f\in (H^1(\Omega))^*$ with $u\in H^1_0(\Omega)$ and $f\in L^2(\Omega)$?

Let $\Omega$ be an open bounded subset of $\mathbb{R}^n$ with $\partial \Omega$ being $C^2$. Suppose $u\in H^1_0(\Omega)$, $f\in L^2(\Omega)$ and $\nu>0$. It is said in the Navier-Stokes Equations ...

**3**

votes

**0**answers

72 views

### Donnelly-Fefferman growth of eigenfunctions

Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...

**7**

votes

**1**answer

227 views

### Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...

**3**

votes

**1**answer

132 views

### Bounded solutions for Schrödinger equation at the edge of the essential spectrum

Let $V:R^d\to R_+$ be with a compact support. The Schrödinger operator $H_a=-\Delta - a V$ acting in $L^2(R^d)$ has then (at most) finitely many negative eigenvalues. Denote the number of negative ...

**2**

votes

**0**answers

212 views

### Reference request: functional analysis results used in Taubes paper (1980)

I am studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I am looking for a reference of three following theorems:
Let $f(x)$ be a convex funtional ...

**2**

votes

**1**answer

224 views

### upper bound on derivatives of a function defined on an arc

This is a simple question I asked in math.SE last month but unfortunately no one gives any comment. So I decided to try some luck here.
You can skip examples below and read from "General setting" at ...

**1**

vote

**2**answers

64 views

### Solution to inhomogenous PDE

Given the equation $(1-\Delta)u=f$ for $f \in S(\mathbb{R}^n)$ (rapidly decreasing functions) we get by taking the Fourier transform that
$u = ...

**1**

vote

**0**answers

38 views

### Hyperbolic PDE from total derivative?

Given a density function $p(t, \boldsymbol{x})$, where $t$ is time and the vector $\boldsymbol{x}$ represents a point in $n$ dimensional space, a hyperbolic PDE describing the time evolution of the ...

**5**

votes

**1**answer

183 views

### How do solutions of a PDE depend on parameters?

Let $\Omega\subset\mathbb R^n$ be a bounded smooth domain and $\sigma_1,\sigma_2:\Omega\to(c^{-1},c)$ measurable (for some constant $1<c<\infty$).
Let $f\in ...

**2**

votes

**1**answer

299 views

### Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...

**1**

vote

**0**answers

109 views

### The Yamabe problem and $\phi^4$ scalar field theory?

The other day I happened to be browsing this page on wikipedia: https://en.wikipedia.org/wiki/Mass_gap
In the middle of the page is the equation $$\square\phi+\lambda\phi^3=0$$ where $\square$ is the ...

**1**

vote

**1**answer

74 views

### Easy Garding Inequality

Easy Garding Inequality states that if $a=a(x,\xi)$ is a symbol in $S=\{a\in C^{\infty}||\partial_{\alpha}a|<C_{\alpha} \hspace{2mm} \forall \alpha\}$ with $a\geq \gamma >0 $ on ...

**4**

votes

**1**answer

266 views

### Boundary regularity of Dirichlet Eigenfunction on bounded domains

Consider a bounded, connected and open subset $\Omega\subset \mathbb{R}^d$ and the Dirichlet Laplacian $-\Delta$ acting in $L^2(\Omega)$.
Then we know that the eigenvalues of $-\Delta$ form an ...

**1**

vote

**0**answers

73 views

### Maximum Principle for Elliptic Equation with Mixed Boundary Conditions

Given the equation
$$ -\nabla\cdot(a_{ij}\nabla u)=0$$
with mixed boundary conditions
$$ u|_{\partial\Omega_D}=u_D,\quad \frac{\partial u}{\partial \nu}|_{\partial\Omega_N}=0$$ and appropriate ...

**0**

votes

**0**answers

50 views

### High dimensional partial differential equation

I encountered the following partial equation. Let $f(z,x_1,\cdots,x_n)$ be a function with $n+1$ entries.Let $a_i,b,c$ be constants.
$$
\sum_{i=1}^n ...

**2**

votes

**4**answers

173 views

### Ill-posedness of a generalized heat equation

Suppose we have the following one-dimensional generalized heat equation:
$$u_t(x,t)=g(x,t)\Delta u(x,t), \quad x\in \mathbb{R},t\in(0,\infty).$$
I need to prove that this equation is ill-posed, for ...

**2**

votes

**1**answer

101 views

### Does $u_{t}=g(t)u_{x}^{2}$ blow-up for bounded positive g? What about $u_{t}=u_{xx}+g(t)u_{x}^{2}$?

My original problem is to see if the following pde develops blow-ups in $(-L,L)$
$$u_{t}=u_{xx}+g(t)(u_{x})^{2}$$
for periodic boundary $u_{0}(-L)=u_{0}(L)$, where $0<g(t)<1$; specifically ...

**-4**

votes

**1**answer

111 views

### Existence and uniqueness of solutions for a system of first order PDEs [closed]

Which results can be applied and which conditions are needed, to ensure the existence and uniqueness of the solutions of the first order of PDEs:
A$\dfrac{\partial}{\partial ...

**0**

votes

**0**answers

49 views

### Convexity condition of matrices

In studying the viscoelastic theory of elastodynamics, I encounter a problem on the convexity condition of matrix functions. It has been known that for the energy function $E=E(v,F) = \frac{1}{2} v^2 ...

**1**

vote

**1**answer

110 views

### The reproducing kernel for harmonics on compact manifolds

Page 39, proposition 1.1.3 here, http://www.cis.upenn.edu/~cis610/sharmonics.pdf clearly explains how for every ``level" (the parameter $k$ in the proposition) one can construct a function ("kernel") ...

**1**

vote

**0**answers

58 views

### Fluid dynamics of a rotating liquid droplet

I'm looking for an analytical solution of the Navier-Stokes equation with the following boundary conditions: a liquid is held inside a spherical shell, which is rotating at a constant rate, and is ...

**0**

votes

**0**answers

80 views

### Continuity of solutions of nonlinear elliptic PDEs

Consider the nonlinear 2nd order elliptic PDE $$\sum_{i, j} a_{ij}(x, t) \partial_i\partial_j u + \sum_k b_k(x, t) \partial_k u + c u = F(u), \quad x \in \mathbb{R}^n, t \in [0, \infty).$$
Here ...

**1**

vote

**0**answers

53 views

### Motivation for some operators in the dyadic model of Navier Stokes equation

What's the motivation for cascade operator $C_{u}, C_{d}$ (and then the dyadic version of operator $B=(u\cdot \nabla)u$), which is
$(C_{u}(u,v))_{Q} = 2^{\frac{5}{2}j}u_{\tilde{Q}}v_{\tilde{Q}}$,
...

**1**

vote

**1**answer

90 views

### Elliptic regularity and inhomogeneous Neumann boundary condition

Consider a harmonic function $u$ defined on $D : = \{ (x, y) \in \mathbb{R}^2 | (x, y) \in \overline{B(0, 2)}, y \geq 0\}$, that is, the closed upper half ball centered at $0$ and radius $2$. Let $u$ ...

**6**

votes

**1**answer

224 views

### Travelling waves for nonlinear Schrödinger equation

Consider the following nonlinear Schrödinger equation:
$$
-\Delta \Phi - i\frac{\partial \Phi}{\partial t} = f(|\Phi|^2)\Phi,
$$
where $\Delta$ is the Laplacian on $\mathbb{R}^n$, $f$ gives the ...

**3**

votes

**1**answer

140 views

### Conserved quantities for the Cauchy momentum equation

I apologize if this question is too elementary for mathoverflow; I asked it (unsuccessfully) on MATH.SE first.
As a bit of background: one way to study the mechanics of deformation of a continuous ...

**11**

votes

**1**answer

614 views

### When is a given matrix of two forms a curvature form?

Let's assume we are working over $\mathbb{R}^n$ (but feel free to change to domain to answer the question). I wish to know if the equation $F = dA + A \wedge A$ can be solved for a matrix of 1-forms ...