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
4
votes
1
answer
182
views
On a non-linear PDE $p_t = e^{-p}p_{xx}$
Consider the PDE for $p:[0,T]\times [0,1]\to\mathbb R$ as follows:
$$
\begin{cases}
p_t = e^{-p}p_{xx}, & (t,x)\in (0,T)\times (0,1),\\
p(0,\cdot)\equiv -c &\text{for }x\in (0,1)\\
p(\cdot,0)\...
- 141
3
votes
0
answers
117
views
Wellposedness of this parabolic PDE
Consider a terminal-boundary value problem for $v: (t,x,y)\in [0,T]\times \mathbb R^2_+\to \mathbb R\ni v(t,x,y)$:
$$
\begin{cases}
v_t + \max(v_x,v_y)+ \frac 1 2 (v_{xx}+v_{yy})=0, & \forall (t,...
- 39.1k
4
votes
1
answer
168
views
Continuous up to the boundary without boundary smoothness
Let $\Omega$ be a bounded domain, $f\in L^{\infty}(\Omega),$ and $0\leq u\in H_0^1(\Omega)$ is a non-negative solution of $\Delta u=f$. My question is as follows:
Can we conclude that $u\in C^0(\bar{\...
- 684
1
vote
1
answer
153
views
How to show that $ u $ is vanishing in $ \mathbb{R}^3\setminus B_1 $?
I come across an interesting question.
Let $ B_r=\{x\in\mathbb{R}^3:|x|\leq r\} $ be the ball in $ \mathbb{R}^3 $ with radius $ r $. Assume that $ u \in C(\mathbb{R}^3\setminus B_1) $ satisfies
$$
\...
- 6,035
2
votes
1
answer
113
views
Fluid dynamics textbook discussing Hele-Shaw flow
In this Wikipedia article, Hele-Shaw flow is discussed in some detail. I'd like to find a textbook that discusses Hele-Shaw flow in greater detail. Thanks
- 188k
1
vote
1
answer
154
views
Decay estimates for simple elliptic equations
Let
and let $p(|z|)$ be the radial solution of the following equation
$$
\Delta p + 4q = 0\quad \text{in } \mathbb{R}^n
$$
where
$n\geq 2$,
$0<\alpha<1$,
$q \triangleq q(|z|) = \frac 1{1+ |z|^...
- 6,035
4
votes
2
answers
639
views
$C^{2}$ estimates for elliptic equations
I am curious about the following question:
suppose $u$ is a solution to the uniformly elliptic equation $\sum_{i,j=1}^{n}a_{ij}(x)u_{ij}=f(x)$ in $\Omega$ and $u=0$ on$\partial \Omega$, where $\Omega$...
- 981
1
vote
1
answer
60
views
Are there $f,h$ such that $h$ is Lipschitz, $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(h(t), x)$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 128k
1
vote
0
answers
88
views
Pointwise convergence of Schrodinger's equation with potential term
A famous problem of Carleson asks if $f\in H^s(\mathbb{R}^n)$, under what condition of $s$ do we have almost everywhere pointwise convergence of the solution to the Schrodinger's equation
$$iu_t-\...
- 265
1
vote
1
answer
93
views
Is there $f$ such that $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(Ct, x)$ for all $t>0$ and $x \in \mathbb R^d$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 128k
2
votes
1
answer
258
views
Generalizing a formula with distributions — Distributional Radon transform
I will try to describe the problem, it will necessarily be incomplete, so please if you have questions or remarks to make it more clear do not hesitate to leave them in comments.
The problem
Let $a$ ...
- 6,367
5
votes
1
answer
119
views
A formula in harmonic heat flow
Assume that $ (M,g) $ and $ (N,h) $ are two smooth closed manifold and $ N $ is embedded isometrically into $ \mathbb{R}^K $ for some $ K\in\mathbb{Z}_+ $. Assume that $ u\in C^{\infty}(M\times\mathbb{...
- 1,219
3
votes
1
answer
96
views
Let $g$ be the heat kernel. Are there constants $C_1, C_2>0$ such that $\frac{g(t_1, \cdot)}{t_1} \le C_1 \frac{g(C_2 t_2, \cdot)}{\sqrt{t_2}}$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Let $0 < t_1 < t_2 &...
- 128k
6
votes
1
answer
956
views
Nash–Moser–De Giorgi differences
The names of Nash, Moser and De Giorgi are associated to elliptic and parabolic regularity theory.
But what are the differences in the approach between the three contributions? Can you briefly sketch ...
- 684
3
votes
0
answers
203
views
On the spectrum of Fokker–Planck with linear drift
The paper by Liberzon and Brockett, "Spectral analysis of Fokker–Planck and related operators arising from linear stochastic differential equations." SIAM Journal on Control and ...
- 116
7
votes
0
answers
123
views
Steklov eigenvalue for circle valued functions
Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization:
$$\sigma_1(M,g)...
- 2,095
2
votes
1
answer
172
views
Method of characteristics with 2 dependent variables in 3 dimensions
I'm interested in solving a first-order linear PDE with 2 dependent variables in 3 dimensions by the method of characteristics. Something of this general form:
$$
A \frac{\partial u}{\partial x} + B \...
- 108k
13
votes
2
answers
816
views
$C^0$ estimate for solutions of elliptic PDE with Neumann BC
I am interested in a reference for (or counterexample to) a particular
$C^0$ estimate for solutions of the Laplace equation with Neumann
boundary conditions. More precisely, let $(M,g)$ be a $C^\...
- 144
0
votes
1
answer
232
views
An estimate of the gradient of heat kernel
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R, (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
I have already proved that
$$
\...
- 156
2
votes
0
answers
44
views
Fractional Laplacian in higher order case
Let $n\geq 2$ and $\sigma \in (0,\frac{n}{2})$. Denote the critical Sobolev exponent $2_{\sigma}^*:=\frac{2n}{n-2\sigma}$, consider Sobolev space $E$ which is the space of real-valued functions $u\...
- 471
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)$?
...
- 4,899
3
votes
1
answer
209
views
Smooth dependence of parameter of PDE - viscosity solutions
There is a prevalent method called the "Nonlinear adjoint method" in the study of viscosity solution and Hamilton--Jacobi equation, especially equations of the form
$$
u^\varepsilon + H(x,Du^...
- 2,155
3
votes
0
answers
118
views
If $\frac{\partial f}{\partial t}(x,t)$ exists a.e and $\frac{\partial^2 f}{\partial t \,\partial x }$ is continuous, can we improve a.e existence?
The question is as in the title.
Let $f(t,x) : [0,1]^2 \to \mathbb{R}$ be a function which is $C^\infty$ w.r.t $x$ for each fixed $t$ and whose derivatives w.r.t $x$ are all absolutely continuous w.r....
11
votes
2
answers
715
views
Probabilistic solution of the porous medium equation
It is well known that the transition density for standard Brownian motion $B_t$ in $\mathbb{R}^d$ yields a solution to the global Cauchy problem for the heat equation $$u_t = \Delta u$$ with initial ...
- 1,081
1
vote
0
answers
47
views
Question on a mixed-norm estimate
I am currently reading the paper Global existence and scattering for rough solutions to generalized nonlinear Schrödinger equations on $\mathbb{R}$ by Colliander, Holmer, Visan, Zhang. In this article,...
- 870
6
votes
2
answers
519
views
Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)
This question is concerning the paper, particularly the proof of Lemma 2.1 in Section 2.1:
Matas, A., Merker, J. Existence of weak solutions to doubly degenerate diffusion equations, Appl Math 57 (...
- 4,713
1
vote
0
answers
95
views
Non-existence of classical solutions of Hardy PDE
On the paper "On the Cauchy Problem for Reaction-Diffusion Equations" Wang studies the Hardy-Hénon equation
$$
\begin{cases}
u_t - \Delta u = |\cdot|^{l}u^{p}& \mbox{ in } \mathbb{R}^n ...
- 6,367
1
vote
0
answers
137
views
Wave equation on 2D semi-infinite plane
I'm trying to understand what a correct procedure is for solving the following wave equation on a semi-infinite plane $-\infty < x < \infty$, $0 \le z < \infty$:
$$
\begin{cases}
\nabla^2 \...
- 11
2
votes
0
answers
82
views
An adaptive stepsize approach to solve numerically ODE with stiffness using complementarity conditions
Let us considered the following system of ODEs
\begin{align*}
\dfrac{dX}{dt} = f(X), \tag{1.1}
\end{align*}
where the unknown $X\in \mathcal{D} \subset \mathbb{R}^l$ and it is stiff. However, for ...
- 121
2
votes
0
answers
120
views
Strong maximum principle for weak solutions still holds?
By De Giorge, Nash and Moser solutions of
\begin{equation}
\operatorname{div} (A(x) Du) = 0
\end{equation}
where $Du$ denotes the gradient of $u$ and $A$ is a $\lambda,\Lambda$ elliptic matrix. ...
- 63.9k
1
vote
0
answers
55
views
Comparison principle for porous medium equation in Fourier variables
Let $V:[0,\infty) \to[0,\infty)$ be convex, $C^2$ with $V(0)=0$. Define $F(u): = uV'(u)-V(u) $. Let $v\in L^1 (\Bbb R^d)$, $v\geq0$ so that $F\circ v\in L^1 (\Bbb R^d)$. For fixed $\varepsilon>0$, ...
- 1,101
3
votes
0
answers
59
views
Intersection of $n$-dimensional minimal surfaces with two-dimensional planes
Let $M^n \subset \mathbf{R}^{n+k}$ be a smoothly embedded minimal surface. When the dimension is $n = 2$ and the codimension is $k = 1$ the intersection of $M$ with planes is well understood. If $M$ ...
- 5,048
4
votes
3
answers
2k
views
Numerical instability using only Heun's method on a simple PDE
I'm trying to simulate the evolution of the Wigner function (a pseudo probability distribution over phase space) for a point particle moving in a chaotic potential. I'll provide background first, as ...
- 1,446
3
votes
1
answer
627
views
Compact embedding between parabolic Hölder spaces
My question is about the following compact embedding:
\begin{equation}
C^{\sigma+2, \sigma/2+1}_{x, t}(Q_T)\hookrightarrow C^{\sigma, \sigma/2}_{x, t}(Q_T).
\end{equation}
what condition should be put ...
CommunityBot
- 1
4
votes
1
answer
214
views
A system of linear PDEs with boundary conditions
I'm researching on discrete/semi-discrete/smooth differential geometry. Recently, I could simplify one of my geometric problems (in the smooth scenario) into the solutions of a system of linear PDEs ...
- 21.5k
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
- 6,696
2
votes
0
answers
124
views
Feynman-Kac for PIDEs: to jump or not to jump?
Consider the following Cauchy problem for a $\mathscr{C}^2$ function $F$ characterized by a PIDE:
\begin{align}
\begin{cases}
& F_t(t,x)+\alpha(t,x)F_x(t,x)+\frac{1}{2}\beta^2(t,x)F_{xx}(t,x)
\\
&...
- 171
0
votes
0
answers
75
views
Morse functions on subset $\bar \Omega$ of $\mathbb {R}^d$ and its level sets
Let $f$ be a $C^{2}(\bar{\Omega})$ Morse function, where $\Omega$ is a bounded open set of $\mathbb{R}^d$: this means that
$$
\begin{cases}
f(x) = 0 \\
\nabla f (x) \neq 0
\end{cases}\text{ on }\...
- 6,367
3
votes
1
answer
148
views
'Degenerate' tangent point of a minimal graph
Let $u: D_1 \to \mathbf{R}$ be a smooth function defined on the unit disk $D_1 \subset \mathbf{R}^2$ which describes the minimal graph $G$. Suppose that at the origin $G$ is tangent to the horizontal ...
- 4,899
3
votes
1
answer
182
views
How to choose some $h$ so its Fourier transform supported in some set?
Suppose that $K=[-N, N]$ is some compact subset of $\mathbb R$, for some $N>2.$
Can we expect to choose $h$ such that $h=1$ on $K$ and the support of the Fourier transform of $\widehat{h}$ ...
- 79.9k
1
vote
0
answers
65
views
A parametrix construction for heat boundary value problem using Fourier transformation
Let $\Omega$ be a smooth bounded open subset in $\mathcal{R}^{d}$, with $d \geqslant 3
$ and $T>0$. Consider the linear parabolic initial Dirichlet boundary value problem with $f\in H^{-1}(\Omega)$...
- 61
2
votes
0
answers
67
views
How "big" is the space of global solutions of an eikonal Hamilton-Jacobi equation?
By an eikonal Hamilton-Jacobi equation I mean a PDE of the form
$$H(x, du(x)) = 0$$
where the Hamiltonian $H: T'M \to \mathbb R$ is given and we are solving for a function $u: M \to \mathbb R$. (...
- 708
1
vote
1
answer
90
views
Why is this Hamiltonian flow of the Vlasov equation well defined?
Lions and Paul claim in their 1993 paper "Sur les mesures de Wigner" that the Hamiltonian flow
$$\dot{x} = \xi, \quad \dot{\xi} = - \nabla V(x) $$
of the Vlasov equation
$$\partial_t f + \xi ...
- 469
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 128k
2
votes
0
answers
142
views
Mathematical study of dispersive PDEs [closed]
My understanding is that there have been a lot of activities in harmonic analysis and PDEs that use sophisticated tools to study dispersive PDEs like the Schrodinger's equation. E.g. the Strichartz ...
- 265
4
votes
1
answer
193
views
Approximate isometric embeddings of surfaces
The fundamental theorem of surfaces states that if symmetric matrices $g_{ij}$, $l_{ij}\colon U\subset R^2\to R$, where $U$ is open and $g_{ij}$ is positive definite satisfy the Gauss and Codazzi ...
- 108k
1
vote
0
answers
105
views
Friedrichs extension of the Laplacian from a smooth subspace and density of its eigenbasis in the Frechet topology of the subspace as well?
Let $C^\infty_\text{div}(\mathbb{T}^3)$ be the "real" Frechet space of periodic, divergence-free smooth vector fields on $\mathbb{R}^3$. That is, $\mathbb{T}^3$ is the $3$-dimensional torus.
...
2
votes
0
answers
62
views
Well-posedness or existence for a Poisson problem in Orlicz spaces
I know that the problem
\begin{equation}
\Delta_p u = f
\end{equation}
make sense if $f \in L^q$ with $n/p<q<n$ and that is there a existence theory for
$$
u_t -\Delta_p u = f
$$
For a given ...
- 869
8
votes
4
answers
2k
views
How to interpret couplings in optimal transport?
Let $\mu$ and $\nu$ be two measures on some (at least measurable) space $X$. In optimal transport theory, Monge's problem to
$$ \text{minimize} \quad \int c(x,T(x))\mu(dx) \quad \text{over measurable ...
1
vote
0
answers
52
views
On Designing Some Optimal Control Problems
In the context of a dynamical systems, some states may not be attainable with scalar controls from $L^1(0,T)$, but they may be reachable with feedback controls.
If we know that the system is null ...
- 55