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
1
vote
1
answer
191
views
Comparison of solutions of Hamilton-Jacobi equations with different initial conditions
Consider a Hamilton-Jacobi equation:
$$u_{t} + f(u_{x}) = 0 \quad (x,t) \in \mathbb{R}\times [0,+\infty)$$
with two possible initial conditions $u(x,0) = g_{i}(x)$ for $x \in \mathbb{R}$ and $i=1,2$. ...
CommunityBot
- 1
3
votes
0
answers
179
views
Green function of an elliptic operator
Let $L$ be an elliptic operator on $\Bbb C$ with
$$\DeclareMathOperator{\Img}{Im}
L^{-1}f(z)=\int_{\Bbb {C}}K_1(|z-w|^2)f(w) e^{i\cdot\Img\langle z,\overline{w}\rangle} \, dw
$$ where $K_1$ is the ...
1
vote
0
answers
73
views
Convexity and subdifferential monotonicity
Do you know any reference where I can find some results in this sense:
Consider $W:K\to [0,\infty)$ is a functional defined on a convex cone $K\subset X$, where $X$ is a Banach space. Then the ...
- 1,759
0
votes
0
answers
36
views
Derivate involving Bessel function of second type
Let.
$$f := (x, y) \mapsto \text{BesselK}(1, c \cdot (a - b \cdot (x + y))) \cdot \exp(c \cdot b \cdot (y - x))$$
Is there a close formula for this $$\frac{\partial^{m+n}}{\partial y^m \partial x^n} f(...
- 109
3
votes
1
answer
376
views
A more general product rule for weak derivatives?
Consider that $u_1,u_2:\Omega\to (0,\infty)$ where $\Omega\subset\mathbb{R}^N$ is an open set. We know that $u_1,u_2\in W^{1,p}(\Omega)$ for some $p>1$ and $\dfrac{u_1}{u_2},\ \dfrac{u_2}{u_1}\in L^...
- 6,367
0
votes
0
answers
27
views
Comparison Principle for Courant Nodal Domain Theorem
Recall that Courant's Nodal domain gives an upper bound on the number of nodal domains of the $k$-th eigenfunction. I was wondering if it is possible to deduce some relation between the number of ...
- 537
2
votes
0
answers
37
views
Definition of coercive boundary value problems
In Folland's Introduction to PDE,page 242, he defines what it means for a Dirichlet form to be coercive (a standard definition). Let $X$ be a closed subspace of $H_m(\Omega)$ with $H_m^0(\Omega)\...
- 263
3
votes
1
answer
176
views
Question about Lebesgue Bochner spaces
Let $T>0$ and $\Omega\subset\mathbb{R}^N$ be a bounded domain. Also $p\in (1,\infty)$ is any number.
I know that $u\in L^{p}((0,T);L^p(\Omega))$ and $\nabla u\in L^{p}((0,T);L^p(\Omega))^N$. How ...
- 2,670
2
votes
0
answers
92
views
Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries
For $n \geq3$, let $(M,g)$ be smooth $n$-dimensional, compact, Riemannian manifold with a smooth boundary. Then there exists some constant $A=A(M,g)>0$ such that, for all $u \in H^1(M)$
\begin{...
- 356
5
votes
1
answer
719
views
Eigenvalue and eigenfunction convergence
Consider a bounded Euclidean domain $\Omega \subset \mathbb{R}^n$ (for simplicity, let's say, $\Omega$ has smooth boundary and is simply connected). Let $p \in \Omega$ be a point, and call $\Omega_n = ...
- 6,367
2
votes
1
answer
117
views
Special density on $L^2$
Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
- 29.8k
2
votes
0
answers
85
views
Dirichlet problem for an elliptic operator
consider de Dirichlet problem $Lu=0$ on the unit ball B of $\Bbb C^n$ and $u=f$ on the unit sphere $S^{2n-1}$, we suppose that $L$ is an elliptic operator.
My question is there is a formula of the ...
- 21
0
votes
0
answers
75
views
Does nice behavior near a singular point force solution to be in Frobenius series?
I have a pair of partial differential operators $\Delta_1$ and $\Delta_2$ in $y_1, y_2$ formed from constants, multiplication by $y_1$ or $y_2$ and derivatives in the form $y_1 \frac{\partial}{\...
- 356
5
votes
0
answers
104
views
Convolution of a bounded function and measures
Given a function $f\in L^\infty(\mathbb{R}^n)$ and a family of Radon measure $\mu_\alpha$, under what condition do we have $f*\mu_\alpha$ equi-continuous?
One condition I know is if $\mu_\alpha$ has a ...
- 375
0
votes
0
answers
40
views
Multivariable Variation of Parameters $\psi_1(x, k)\int^{(x,t)}e^{ik^3(t-\tau)}[M_1(\xi,k)q(\xi,\tau)d\xi-X_1(\xi,\tau,k)d\tau]+\dots$
I am trying to read through the paper titled IBV problems for linear PDEs with Variable Coefficients by P. A. Treharne and A. S. Fokas (link here). For greater clarity, I split my question up into two ...
- 547
0
votes
0
answers
37
views
Finding a particular solution to a Lax pair on $[0, \infty)$ to solve $q_t + q_{xxx} + u(x)q = 0$ using the Fokas Method
I am trying to read through the paper titled IBV problems for linear PDEs with Variable Coefficients by P. A. Treharne and A. S. Fokas (link here).
This post is a follow up to my first that ...
- 547
4
votes
0
answers
139
views
Understanding a "straightforward" application of the method of stationary phase for proving a trace formula on compact hyperbolic surfaces
I'm reading the paper 'Uniform distribution of eigenfunctions on compact hyperbolic surfaces' by Steven Zelditch (Duke Mathematical Journal, 55, pp. 919-941 (1987), MR916129, Zbl 0643.58029) and am ...
- 6,367
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
2
votes
1
answer
141
views
Existence of first variation
I am trying to compute the first variation of the functional
$$\mathcal F(\rho) = \int_{\Omega} R(x;\rho) d\rho(x)$$
where $R$ is some function of $x$ that also depends on $\rho$. Here $\rho$ is a ...
- 63.9k
5
votes
1
answer
139
views
Dispersion of random walk with scaled step sizes
Let $Y_j$ be a sequence of independent Gaussian random variables with mean zero and unit variance ($\mathbb{E} Y_j = 0$ and $\mathbb{E} Y_j^2 = 1$) and let $\sigma:\mathbb{R}\to [1,2]$.
We define the ...
- 452
6
votes
1
answer
197
views
On elliptic operators on non-compact manifolds
Let $(M,g)$ be a (connected, oriented) Riemannian manifold and $E$ some finite-rank $\mathbb{R}$- or $\mathbb{C}$-vector bundle equipped with some (positive-definite) inner product on the level of (...
- 16.2k
6
votes
1
answer
228
views
Question about Bochner measurability
When I study parabolic pde's I often came across the following type of Bochner spaces $L^p([a,b];L^{q}(\Omega),\ W^{1,p}([a,b];L^{q}(\Omega))$ and $L^{q}([a,b];W^{1,p}(\Omega))$ where $p,q\geq 1$ and $...
- 2,670
1
vote
2
answers
164
views
Existence of directional heat equation without uniform ellipticity
I am asking for references, or for a proof idea on how to show that weak solutions of the following problem exist: search $u$ on a bounded domain $\Omega\times (0,T]$, where $\Omega\subset\mathbb{R}^d$...
- 12.9k
1
vote
0
answers
88
views
Schauder estimate for $f \in L^\infty$
I was reading an article where at some point the author uses the following estimate:
Let $u$ be a solution of
$$\Delta u = f \quad \text{in } B_1$$
for $f \in L^\infty$. Then $u \in C^{1,1 - \...
- 452
1
vote
0
answers
55
views
References for the generalized Dirichlet problem for plurisubharmonic functions on the bidisc
In the paper "On a Generalized Dirichlet Problem for Plurisubharmonic Functions and Pseudo-Convex Domains. Characterization of Silov Boundaries" Theorem 5.3, the following result is obtained ...
- 6,367
7
votes
1
answer
152
views
Higher (BV) regularity of solutions to Poisson equation with Radon measure right-hand side?
I am trying to understand higher regularity for solutions to Poisson's equation when the right-hand side is a Radon measure. In particular:
$$\begin{cases}
\Delta u = \mu \text{ in } \Omega\\
u = 0\...
- 186
4
votes
1
answer
219
views
Poincaré inequality on compact manifolds without boundary
The question arises from a paper The heat flow for the full bosonic string, Ann. Global Anal. Geom. 50 (2016).
In line 4, Page 362, the author claimed the following inequality which looks similar to ...
- 5,327
7
votes
1
answer
580
views
Sobolev spaces are smooth? Their dual is strictly convex?
Do you know any reference which says something about the:
Smoothness of the Sobolev space $W^{1,p}(\Omega)$ i.e. if the duality mapping $J\colon W^{1,p}(\Omega)\to W^{1,p}(\Omega)^*$ is a singleton.
...
- 2,670
10
votes
1
answer
400
views
Rigorous treatment of Ostrogradsky's instability theorem?
The Ostrogradsky instability theorem says that if a Lagrangian depends on more than the position and velocity, the corresponding Hamiltonian is unbounded below. This has been suggested as a reason why ...
- 188k
1
vote
1
answer
165
views
Calderón–Zygmund inequality for Neumann problems
My question is simple:
Let $\Omega$ be a bounded smooth domain. Does the following inequality $$\|D^2w\|_{L^q(\Omega)}\leq C\|\Delta w\|_{L^q(\Omega)},$$ hold for any function $w\in W^{2,p}(\Omega)\...
- 3,425
6
votes
1
answer
297
views
Understanding exterior differential systems
Let $M$ be an $n$-dimensional smooth manifold. An exterior differential system on $M$ is by definition a graded ideal $\mathcal{I}\subset \Omega^{\bullet}(M)$ in the ring $\Omega^{\bullet}(M)$ of ...
- 108k
2
votes
0
answers
94
views
Nemytskij operator for Lebesgue variable UNBOUNDED exponent spaces
Let $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where $\Omega\...
- 60.5k
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
1
vote
1
answer
62
views
Integrability in the product space can follow from a property of the Nemytskii operator?
Let's say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$ is a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where ...
- 2,670
8
votes
1
answer
584
views
Reference request: Software for producing sounds of drums of specified shapes
Is there software that, when the input is the shape of a drum, will produce the corresponding audible sound?
- 188k
0
votes
1
answer
100
views
Spatially localised solution to the Schrödinger equation with potential is a combination of eigenfunctions
In this Terry Tao's blog post, he claims that if one has a solution to the Schrödinger equation
$$i\,\partial_t u +\Delta u=Vu $$
with a "reasonably smooth and localised $V$", $u$ has ...
0
votes
0
answers
85
views
Measurable selection for the mean value theorem
When we use the mean value theorem we come across the problem of measurability of the argument. The problem is somehow like that:
Let $f:\Omega\times [0,1]\to\mathbb{R}$ be a Caratheodory function (i....
- 1,759
2
votes
0
answers
84
views
Question about the Nemytsky operator on $L^p$ space
Let $\Omega\subset\mathbb{R}^N$ be a bounded open set, $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function, i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is ...
- 3,425
0
votes
0
answers
116
views
Integral of a measurable function with parameter is measurable?
Say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$, where $\Omega\subset\mathbb{R}^N$ is an open set, is a function such that:
$f(x,\cdot)\in L^1_{\text{loc}}(\mathbb{R})$ for a.a. $x\in\Omega$
$f(\...
- 12.9k
3
votes
0
answers
147
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 6,367
22
votes
0
answers
869
views
Can two drums almost sound the same?
Let $D\subset \mathbb R^2$ be a region and let $\Lambda=\{\lambda_1,\lambda_2,\dots\}$ be the set of eigenvalues of the Laplacian $-\Delta$ (with boundary condition $\psi=0$ on $\partial D$).
Mark Kac,...
- 5,474
1
vote
3
answers
220
views
Solving $X$ for prescribed $\operatorname{div}(X)$ of compact support
Let $f \in C^\infty_0(\mathbb{R}^3)$ be a smooth scalar function of compact support. I would like to find a smooth vector field $X : \mathbb{R}^3 \to \mathbb{R}^3$ satisfying $\operatorname{div}(X) = ...
- 798
1
vote
0
answers
52
views
Making sense of constant scalar curvature metric horns
Suppose we have a compact oriented surface $S$ and we remove a point $p$ on it. We could consider a neighboorhood $U$ of the puncture $p$, so that the points in this neighboorhood are described by ...
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 63.9k
3
votes
0
answers
196
views
Towards Schauder estimates: smoothing effect of the semi-group generated by $\Delta+(-\Delta)^{1/2}$
Consider the semi-group $(P_r)_r$ generated by $\Delta+(-\Delta)^{1/2}:$ for a distribution $f$ let $P_rf:=p(r,\cdot)*f$ where $p(r,x):=\sum_{q \in \mathbb{Z}^d}e^{2\pi\mathrm{i}\langle q,x\rangle}e^{-...
CommunityBot
- 1
1
vote
1
answer
142
views
Hardy inequality
Suppose $B_1$ is the unit ball centered at the origin in $ R^N$ with $N \ge 3$. Let $ q= 2^* = \frac{2N}{N-2}$. Does there exist some $C>0$ such that
$$\int_{B_1} \frac{ u(x)^2}{|x|^2} dx \le C ...
- 9,007
1
vote
0
answers
40
views
Uniform bound for coefficients of fundamental forms of unbounded surface
Recently I am using the Gauss-Weingarten relations to transform an equation defined on a domain $\Omega\in\mathbb{R}^3$ into a form expressed in local coordinates when it approaches the boundary $\...
- 71
2
votes
0
answers
119
views
Estimates for solution to linear elliptic equations
Let $A$ be a symmetric, uniformly elliptic constant matrix with $\lambda \leq A \leq \Lambda$. Consider the weak solution (which is smooth from standard elliptic theory) $u \in W_{loc}^{1,2}$ solving $...
- 63.9k
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 578
1
vote
0
answers
56
views
Extensions of functions with bounded $\int \lvert\operatorname{div} A(\nabla u)\rvert\, dm$
Consider the annulus $\mathcal A:= B(0,2)\setminus B(0,1)$ in $\mathbb R^n$, $n\geq2$ and the divergence form elliptic operator $\operatorname{div}(A\nabla \cdot)$ on $\mathcal A$ where $A$ is a ...
- 12.9k