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,466 questions
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 3,245
1
vote
0
answers
70
views
Equivalence of two definitions of weak solution (subtlety with null sets)
Consider
$$y_t - \Delta y = f$$
$$y(0) = y_0$$
with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions:
We have $y \in L^...
- 266
4
votes
0
answers
340
views
Viscosity solution of the PDE
Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and
$$|Du|-f(x,u)=0$$
where $f\ge 0$ and $f$ is strictly monotone for fixed $x.$ I am looking for the reference to show that it has unique ...
- 61
1
vote
0
answers
222
views
local existence for a singular quasilinear parabolic equation
I'm considering the following type of PDE:
$u_{t}=u_{xx}+u_{x}+u_{x}^2+u_{x}^3+\frac{u_{x}}{x(1-x)}+\left(\frac{u_{x}}{x(1-x)}\right)^3$
with periodic boundary conditions $u_{x}(0,t)=u_{x}(1,t)=0$, $...
- 11
1
vote
3
answers
364
views
another solution to PDE possible?
hi there,
i have the following pde:
$$(\partial_x x^4 \partial_x - \partial_t^2)y(x,t)=0$$ and found the solution $$y=a+t^2-1/x^2$$, with a a constant.
Is this solution unique? Does anyone know of any ...
- 41
1
vote
0
answers
138
views
Bound for a certain integral expression
I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...
- 41
1
vote
1
answer
365
views
metrics compatible with conformal structures
I have three related questions:
(1) How does one describe the possible Riemannian metrics that are compatible with a conformal structure on a two dimensional surface?
(2) Can all conformable ...
- 439
1
vote
0
answers
74
views
Isolated singularities of harmonic mappings
Can a homeomorphic harmonic mapping $f=(u,v,w):\Omega\to \Omega'$ have isolated singular points. Here $\Delta f =0$, and singular point is a point with zero Jacobian. This will extend Lewy theorem for ...
- 89
3
votes
0
answers
261
views
Idea behind distributional solutions
I have a problem understanding the meaning of a distributional solution. Let me tell you the context the problem appeared: I read thorugh some papers by DiPerna and Lions concerning the Cauchy Problem ...
- 85
1
vote
0
answers
134
views
on high order Laplacian
Roughly speaking, we have good understanding of the solution to heat equation $u_t-\Delta u=0$, on bounded or unbounded domain. For example, we know the decay rate, we know it generates analytic ...
- 39
2
votes
3
answers
1k
views
Sobolev norms of eigenfunctions
Let D be a domain in R^n, and let f be an eigenfunction of the Laplacian with Dirichlet boundary condition with eigenvalue $\lambda$. Assume that f has L^2 norm 1. I want to know if I can say anything ...
2
votes
0
answers
185
views
localization of the $L^p$ variation for heat equation
I'm struggling with yet another question for the classical heat equation in the whole space $R^d$. This question seems basic at first sight, but I think it is nontrivial in the end so here it is.
The ...
- 5,380
0
votes
0
answers
270
views
Gradient estimates for subsolutions of elliptic equations
Let $M$ be a Riemannian manifold. Assume $u \in C^\infty(M)$ such that $u>0$ and
$\Delta u + \lambda u = 0,$
where $\lambda \geq 0$. There is a poinwise estimate for $|\nabla u|$ in Peter Li's ...
- 56
0
votes
0
answers
112
views
Estimate for an integral of a function of the solution to a PDE
Let $\Omega \in \mathbb{R}^3$ be a bounded smooth domain. Assume that smooth functions $\sigma_1,\sigma_2$ satisfy $\sigma_1-\sigma_2 \in C_0^\infty(\Omega)$ and
$\lambda\leq \sigma_1, \sigma_2 \leq \...
- 35
1
vote
1
answer
199
views
On a limit at the boundary of $\mathbb{D}$ related to complex and harmonic analysis
Let $p(z,t)=\frac{1}{2\pi}.\frac{1-|z|^2}{|z-t|^2}$ be the Poisson kernel on the open unit disk $\mathbb{D}$, fix $0<\alpha<1$ . Let $a\in \partial\mathbb{D}=S^1$ be fixed. Then my question is :
...
- 1,471
4
votes
0
answers
138
views
Integrability of $D^2u$ for $\infty$-harmonic function $u$?
Consider infinity harmonic functions; that is, functions satisfying $\Delta_\infty u = 0$ with
$$\Delta_\infty u = \langle Du, D^2 u \, Du \rangle = \sum_{i,j} \frac{\partial^2 u}{\partial x_i \, \...
- 648
1
vote
1
answer
294
views
A heat kernel for Schrödinger operator with low-order terms
In "Schrödinger Operator: Heat Kernel and Its Applications", Feng computes the heat kernels associated to Schrödinger operators with at most quadratic potentials.
I am trying to see how these work ...
- 363
1
vote
0
answers
294
views
Galerkin method for existence for PDE with nonsymmetric bilinear form
Suppose we have a PDE
$$\langle u', v \rangle + a(u,v) = 0$$
where $a:V\times V \to \mathbb{R}$ is a bounded symmetric bilinear form, then if $u_0 \in V$ then $u \in L^2(0,T; V)$ with $u' \in L^2(0,T;...
- 113
0
votes
1
answer
792
views
Coupled semilinear PDEs
For a surface $z(x,y)$, let $p = z_x$ and $q = z_y$. I have a pair of coupled semilinear PDEs in p and q.
PDE1: $p_x - a p_y = b q$.
PDE2: $q_x - a q_y = -b p$.
Note that $a$ and $b$ are functions ...
- 13
1
vote
0
answers
316
views
"Integration by parts" formula for functionals
We know that for a Hilbert triple $V \subset H \subset V^{'}$, if we have $u, v \in L^2(0,T;V)$ with $u',v' \in L^2(0,T;V')$
then
$$\frac{d}{dt}(u(t), v(t))_H = u'(t)(v(t)) + v'(t)(u(t))$$
where the $...
- 29
3
votes
0
answers
252
views
Existence of solutions to a reaction-diffusion problem.
Consider the problem of finding a bounded classical solution $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ (such that $u$ is continuous and $u_t$, $u_x$ and $u_{xx}$ exist and are continuous on $\mathbb{R}\...
- 193
2
votes
0
answers
190
views
A contradiction to do with continuity? (involves chain rule)
Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE
$$\frac{d}{dt}D^0_t(\cdot) = V(D^...
- 21
2
votes
0
answers
148
views
Half-wave group $e^{it\sqrt{-\Delta_g}}$ for large $t$
Consider the Laplace-Beltrami operator $\Delta_g$ on compact Riemannian manifold $(M,g)$, then $e^{it\sqrt{-\Delta_g}}f$ is the solution of the following Cauchy problem.
$$
i\partial_tu=\sqrt{-\...
- 879
4
votes
1
answer
178
views
Interpretation of a parameter in forming a pseudodifferential operator
In Zworski's Semiclassical Analysis, he defines the following method of quantization: for a symbol $a = a(x,\xi) \in \mathscr{S}(\mathbb{R}^{2n})$ and $u \in \mathscr{S}(\mathbb{R}^n)$,
$$ Op_t(a)u(x)...
2
votes
0
answers
219
views
A microlocal representation for quantum operator dynamics
In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...
- 21
3
votes
0
answers
379
views
problem with non linear pde
I have the following pde which i cannot solve. any suggestions, tips on how to approach a solution?
$$\left(1-x^3 \frac{\partial y}{\partial x} \partial_{y}\right) f(y(x))-1/4 \left(1-\frac{1}{x^3 (\...
- 41
2
votes
0
answers
70
views
Hess-Schrader-Uhlenbrock inequality for non-symmetric operators
Let $M$ be a (compact, let's say) Riemannian manifold, $\mathcal{V}$ a vector bundle over $M$ with covariant derivative $\nabla$ and a fiber metric. Let $L = - \mathrm{tr}(\nabla^2) + V$ with some ...
- 9,853
2
votes
0
answers
63
views
Appropriate BCs of First Order Hyperbolic Semi-Linear Equation [closed]
The following pde is (approximately) the leading order homogenized form of the local mass transport equation with a non-linear metabolism (in symmetrical spherical co-ordinates):
\begin{equation*}
\...
6
votes
1
answer
779
views
primitive of an exact differential form with special properties
We were working on a smoothing problem and ran across the apparently simple following question:
X is a triangulated smooth manifold of dimension $n$, and $\alpha$ is an exact differential form of ...
1
vote
1
answer
172
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'$, ...
- 4,312
1
vote
0
answers
120
views
On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE
I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; M(|D^2u|^2)>N_1^...
- 11
-2
votes
1
answer
579
views
General solution to ODE [closed]
Considering the following ODE : find $f(x)$ such that
$$\frac{\sigma^{2}}{2}\frac{d^2}{dx^2}f(x)+a(b-x)\frac{d}{dx}f(x)-(\rho+\lambda)f(x)=-\lambda g(x) $$
Where, $a,b,\rho,\lambda,\sigma\in(0,+\...
- 29
0
votes
0
answers
136
views
Why is it impossible to reduce a linear PDE of the second order in more than two independent variables to canonical form globally
It is known that in the case of more than two independent variables, it is usually not possible (especially in the case of PDE with the variable coefficients) to reduce a linear partial differential ...
- 133
2
votes
2
answers
269
views
The approximation to perturbed KdV Equation
Consider the perturbed KdV Equation $$u_t-6uu_x+u_{xxx}=\epsilon u$$,I want to use perturbative expansion to construct the solution as the form $$u=u(x,t;\epsilon)=\sum_{n=0}^\infty\epsilon^n u_n(x,t)$...
- 61
0
votes
1
answer
643
views
Is this (interpolation) inequality right?
Suppose that $\Omega$ is a bounded domain in $\mathbb{R}^3$, $F$ is bounded in $L^\infty (\Omega \times (0,T))\cap (\cap_{k=1}^\infty L^{5/3}(0,T;C^k(\bar{\Omega})))$.
Question: Can we say that $F$ ...
- 61
2
votes
1
answer
466
views
Short-time Existence/Uniqueness for Non-linear Schrodinger with Loss of Several Derivatives
I have the following question about short-time existence and uniqueness
results for non-linear schrodinger equations (NLSE) where the non-linearity involves
a loss of derivatives (in my case, it is a ...
- 1,628
2
votes
0
answers
85
views
Geodesics on a perturbed submanifold of $\mathbb{R}^m$ [closed]
Let us consider $M$, a Riemannian manifold of dimension $n$, isometrically embedded in $R^m$. Let us consider a geodesic $\gamma$ on $M$. Now, let us "perturb" (in other words, change slightly the ...
- 21
-1
votes
1
answer
152
views
Question regarding to the basis of L^p space via compact self adjoint operators. ( eg: inverse of -laplacian )
Do eigenfunctions of inverse of elliptic operator (eg: Laplacian) form basis of $L^P(\Omega)$ ? For p=2 we know the answer is yes, I am looking for p>2.
More generally, is it true that eigenfunctions ...
2
votes
0
answers
223
views
optimal regularity for Laplace equation with inhomogeneous L^p Robin boundary condition
Consider the problem
$$-\Delta u = 0 \mbox{ in }\Omega,\qquad \partial_\nu u+\tau u=g\mbox{ on }\partial\Omega,$$
where $\Omega\subset R^n$ is a bounded $C^2$-domain, $\tau>0$ is a constant, and $...
2
votes
2
answers
394
views
Poisson equation in the plane
Hello,
as I'm not an analyst, I'm having difficulties with the following, certainly well-known problem: one is given the PDE $\Delta u(x,y)=\sqrt{x^2+y^2}$ in the "region" $x^2+y^2\leq1$ with the ...
1
vote
0
answers
126
views
Buseman function for Riemanniam manifolds with two ends and $Ric\ge -(n-1)$ [closed]
It's well known that if M is a Riemannian manifold with $Ric \ge 0$ and contains a line $\gamma $.
Set $${\gamma _ + } = \gamma | {_{[0, + \infty )}} ,{\gamma _ - } = \gamma | {_{[ - \infty ,0)}} $$,...
- 199
5
votes
0
answers
198
views
Asymptotic higher order derivative estimates for solutions of semi-linear parabolic PDEs
Question:
Consider a semi-linear parabolic equation on a bounded domain $\Omega \subset \mathbb{R}^m$:
$$
\frac{\partial f_t}{\partial t} = -\Delta f_t + Q(f_t, df_t),
$$
with smooth initial data $...
- 301
0
votes
0
answers
156
views
Can a function be constructed from the direction of its gradient?
Let $\Omega$ be a bounded region in $R^n$ and $J\in (L^2(\Omega))^n$ with $|J| \leq 1$ a.e. in $\Omega$. Under what conditions the equation
$Du=J|Du|$, $u|_{\partial \Omega}=f$
has a solution in a ...
- 23
2
votes
1
answer
486
views
Minimum set of subharmonic function in $\mathbb R^n$
Let $f :\mathbb R^n\to \mathbb [0, \infty)$ be a (continuous, $C^2$, or smooth) subharmonic function with minimum value $0$. Then we know the sublevel set $f^{-1}((-\infty, c])$ is mean convex for $c &...
- 891
0
votes
1
answer
89
views
approximating functions pointwise [closed]
If we have in certain norm
1). $g_j(x) \rightarrow h(x), j\rightarrow\infty$ and
2). $ f_{ij}(x)\rightarrow g_j(x), i\rightarrow \infty, \forall j$ ,
then we can choose a subsequence $\{f_{ij_{(i)...
- 129
1
vote
0
answers
227
views
Trace Inequality question
There is a result in a paper I am reading :
Let $\Omega$ be a bounded domain. For any $\epsilon > 0$, there is a constant $C(\epsilon)$ such that
$$\lVert n \times u\rVert_{H^{-1/2}(\partial \...
- 11
2
votes
1
answer
393
views
Existence of PDE system (mean curvature flow coupled with surface PDE)
Hi all,
What should I look for if I want to study existence/uniqueness of the system of PDEs:
$$u_t -\Delta u + u\nabla \cdot v = f(u) \quad\text{on $\Gamma(t)$}$$
$$X_t = \kappa N(X) + u \quad \text{...
- 45
1
vote
1
answer
416
views
Reparametrizing characteristic curves for PDE's
I'm looking for solutions for a PDE that looks like this
$$
\nabla u(\vec x) \cdot f(\vec x) = k.
$$
For some clarification, $u$ is a log-probability. And this arises from a Fokker-Plank-like equation,...
- 193
6
votes
0
answers
1k
views
Harmonic maps into compact Lie groups
Consider locally minimizing harmonic maps from D-dimensional Euclidean space into a compact Lie group G. When $D=3$ the general regularity theory due to Schoen-Uhlenbeck,
Schoen, Richard; Uhlenbeck, ...
3
votes
0
answers
179
views
How to use Galerkin method to obtain existence with spaces $V \subset H$ not compactly embedded
With $V \subset H \subset V'$ a Hilbert triple (separable spaces as well), let's consider
$$u' + Au = f$$
in $L^2(0,T;V')$, where $A:V \to V'$ is bounded and linear. If $V \subset H$ is not compact, ...
- 41