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,467 questions
2
votes
1
answer
446
views
Approximation of subharmonic functions
Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
$$\chi_\epsilon(x)=\frac{c_n}{\...
- 91.8k
6
votes
2
answers
799
views
A question on density of Lipschitz functions in weighted Sobolev spaces
Recall that for a domain $\Omega\subset \mathbb{R}^n$, the weighted Sobolev space $W^{1,n}(\Omega,\mu)$ is defined as $f\in L^n(\Omega,\mu)$ and the weak derivative $Df\in L^n(\Omega,\mu)$.
Let now $...
CommunityBot
- 1
5
votes
2
answers
324
views
Variational formulation of second order equations of the divergence form
Consider the second order operator
$Lu=\partial_i(a_{ij}\partial_j)u+b_i\partial_iu+cu$.
Can we find a functional $I[u]$ such that $Lu$ is the variation of $I[u]$ with respect to $u$? I have ...
- 108k
0
votes
0
answers
60
views
The minimizing problem over a sequence of shrinking balls
Let $B(0,r)\subset \mathbb R^3$ be a ball centered at $0$ with radius $r$. Define
$$ \mathcal A_r:=\{u\in H_0^1(B(0,r)),\,\,\|u\|_{L^{q+1}}=1\}$$
where $1<q<5$. Hence we know that each $\...
CommunityBot
- 1
2
votes
1
answer
192
views
Nonlocal Stefan problems
Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...
CommunityBot
- 1
3
votes
0
answers
224
views
Strong solution to $u_t - \Delta_p u = f$
For $p > 1$, consider the equation
$$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$
$$u(0) = u_0$$
$$u|_{\partial\Omega} =0$$
for all $v \in W^{1,p}(...
- 8,086
1
vote
0
answers
215
views
Solution to a PDE with constant data - what is the fault in my proof? [closed]
Let $C=\Omega \times (0,\infty)$. We want to find a solution $v \in H^1(C)$ such that given $u \in H^{\frac 12}(\Omega)$,
$$\int_0^\infty\int_\Omega \nabla v \nabla \varphi + v_y\varphi_y = 0\quad\...
- 49
16
votes
2
answers
767
views
Surjectivity of curl
Let: $\mathbb R^3\ni x\mapsto v(x)\in\mathbb R^3$ be a vector field with null divergence belonging to the Schwartz class such that
$$
\int_{\mathbb R^3} v(x) dx=0.
$$
Is it true that there exists a ...
CommunityBot
- 1
0
votes
1
answer
194
views
Uniform $L^p-L^{p'}$ bound of a Fourier multiplier
Let $(\tau,\xi)\in\mathbb{R}\times \mathbb{R}^n$, and consider the function
$$
m_{\epsilon}(\tau,\xi)=\frac{1}{\tau+|\xi|^4+\epsilon|\xi|^2+i}
$$
in $\mathbb{R}^{n+1}$. My first question is that does ...
- 902
0
votes
1
answer
181
views
What is the limit of the derivative of the harmonic extension/Dirichlet solution in $C^{1,\alpha}$ cases?
Let $f:\mathbb{S}^1 \to \mathbb{S}^1$ be an orientation-preserving homeomorphism. Denote by $H(f)$ the complex harmonic extension/solution in $\mathbb{D}$ to the Dirichlet problem with boundary data $...
- 648
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 ...
1
vote
0
answers
163
views
Help in understanding "Local well-posedness for the Maxwell-Schrodinger system"
Is there someone who knows the following paper
"Local well-posedness for the Maxwell-Schrodinger system" by M.Nakamura and T.Wada.
I'm trying to study it but I've some doubts. In particular I'm not ...
CommunityBot
- 1
3
votes
0
answers
103
views
Question on the local existence theory for the classical solution for the incompressible fluid dynamics equation
For the incompressible fluid dynamics system
\begin{equation}
\begin{split}
&\nabla\cdot v=0,\\
&\dfrac{\partial v}{\partial t}+v\cdot \nabla v+\nabla p=A(S,D)v,
\end{split}
\end{equation}
...
- 31
2
votes
0
answers
406
views
Uniqueness of the solution of a nonlinear PDE [closed]
Given the nonlinear PDE
$$
\partial^2\phi+\phi^3=0
$$
I consider the characteristics $\xi=\kappa\cdot x$. Then I look for a solution in the form
$$
\phi(x)=a\cdot\chi(\xi).
$$
Then, provided $\...
- 1,687
0
votes
1
answer
172
views
Do constrained random walks converge weakly to the Wiener measure on the space of constrained paths (that corresponds to the heat equation)?
Let $U$ be an open subset of $\mathbb{R}^n$ such that
$\partial \overline{U}$, the boundary of $\overline{U}$ is ''nice''
(for simplicity you can assume piecewise smooth). I also want to allow the ...
- 10.3k
4
votes
2
answers
447
views
Heat equation and evolution of number of critical points
Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...
- 34.7k
0
votes
2
answers
218
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,\infty)...
- 2,834
2
votes
0
answers
250
views
long time existence of a nonlinear parabolic equation
I am thinking about a geometric problem which boils down to the following parabolic equation:
Suppose $u=u(r,t)$, $r$ is defined on $[0,1]$ and $t>0$
$$\begin{cases}\displaystyle \frac{\partial u}{\...
- 673
1
vote
0
answers
154
views
variation norm of a Fourier transform
Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in (...
- 331
7
votes
1
answer
938
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 $\mathbb{R}$-...
CommunityBot
- 1
1
vote
1
answer
443
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\\
...
CommunityBot
- 1
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
3
votes
1
answer
307
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 ...
- 902
4
votes
0
answers
145
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
\end{...
- 337
5
votes
0
answers
264
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 ...
- 4,304
0
votes
1
answer
658
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 ...
- 27.5k
2
votes
0
answers
385
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 \...
- 201
3
votes
1
answer
3k
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 ...
CommunityBot
- 1
1
vote
1
answer
395
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 |f-\...
- 471
7
votes
2
answers
380
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 ...
- 206
4
votes
2
answers
2k
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}
...
- 21.5k
2
votes
0
answers
382
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 ...
CommunityBot
- 1
1
vote
0
answers
108
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 (*)
\end{...
- 672
3
votes
1
answer
811
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 ...
- 16.2k
4
votes
0
answers
55
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 ...
6
votes
1
answer
1k
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 ...
CommunityBot
- 1
3
votes
0
answers
185
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 ...
- 2,715
3
votes
0
answers
413
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 ...
- 41
1
vote
1
answer
462
views
Strichartz estimates of damped wave equation
If $w(t,x)$ is a solution of wave equation
$$
w_{tt}-\triangle w = 0, w(0)=w_0, w_t(0)=w_1,
$$
then $w$ satisfies the following Strichartz esitmates
$$
\|w\|_{L^q_tL^r_x} \lesssim \|w_0\|_{H^1} + \|...
CommunityBot
- 1
1
vote
1
answer
283
views
Smooth curves in a Frechet space
Is the space $C^{\infty}([0,1];C^{\infty}(S^1))$ equal with the space $C^{\infty}([0,1]\times S^1)$ ? I am interested in characterizing the smooth curves in the space $C^{\infty}(S^1)$ where $S^1$ is ...
CommunityBot
- 1
3
votes
1
answer
348
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 ...
- 9,853
12
votes
1
answer
1k
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 ...
CommunityBot
- 1
1
vote
1
answer
53
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 ...
- 2,286
2
votes
1
answer
301
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 ...
CommunityBot
- 1
0
votes
2
answers
471
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 ...
- 25.3k
0
votes
0
answers
103
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 ...
- 41
4
votes
1
answer
271
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 ...
- 16.2k
1
vote
0
answers
115
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) > 0$...
- 516
3
votes
2
answers
121
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 p(...
- 2,715
0
votes
1
answer
156
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 ...
- 1,881