Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
90 views

Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\bE}{\mathbb{E}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bP}{\mathbb{P}} \newcommand{\bF}{\mathbb{F}} \newcommand{\cF}{\mathcal{F}} \newcommand{\eps}{\...
Akira's user avatar
  • 835
1 vote
0 answers
84 views

Does sets of positive capacity rule out constant functions?

Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by \begin{align*} \text{Cap}_{p}(K, U) := \inf \left\{ \int_U |\...
Guy Fsone's user avatar
  • 1,101
8 votes
0 answers
115 views

optimal regularity for the Neumann heat equation on Lipschitz domains

$\newcommand{\R}{\mathbb R}$Let $\Omega\subset\R^d$ be a bounded Lipschitz domain, possibly non-convex (but not too nasty either, whatever that means). I am looking for well-posedness and optimal ...
leo monsaingeon's user avatar
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 ...
Bogdan's user avatar
  • 1,759
9 votes
2 answers
418 views

Reference request: Parabolic Equations

I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
Falcon's user avatar
  • 452
5 votes
2 answers
364 views

Euler-Lagrange equations for minimizer of energy with indicator function

I'm looking for a modern explanation/proof of the derivation of Euler-Lagrange (or first-order or the "first variation") conditions for $$\min_{u \in H^1_0(\Omega), u \geq 0} \int_\Omega |\...
BBB's user avatar
  • 93
2 votes
0 answers
138 views

Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?

The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm $$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$ The space $L^2([a,b]\times S^2)$ ...
Laithy's user avatar
  • 969
2 votes
0 answers
111 views

Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$

Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it. We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
Akira's user avatar
  • 835
3 votes
0 answers
153 views

Quasimode construction on a compact Riemannian manifold

Let $M$ be a closed Riemannian manifold, $\Delta$ be the usual Laplace-Betrami operator on $M$ and $\gamma : [0, L] \to M$ be a stable elliptic periodic geodesic of length $L$. I have heard in several ...
Y. Paka's user avatar
  • 131
10 votes
0 answers
422 views

Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$

We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
Akira's user avatar
  • 835
1 vote
0 answers
82 views

For any $\beta>0$, there is a constant $c>0$ such that $\left\|(1-\Delta)^{\frac{\beta}{2}} f\right\|_{\infty} \leq c\|f\|_{C_b^\beta}$

For any $n \in \mathbb{Z}^{+}$, let $C_b^n\left(\mathbb{R}^d\right)$ be the class of real functions $f$ on $\mathbb{R}^d$ with continuous derivatives $\left\{\nabla^i f\right\}_{0 \leq i \leq n}$ such ...
Akira's user avatar
  • 835
3 votes
1 answer
296 views

Weighted Lebesgue space with exponential weights: smoothing effect and properties

I am researching whether there are weighted Lebesgue spaces of the type $$ \left\{ f\omega(x)\in L^p(\mathbb{R}^n):\|f\|_{L^p_\omega}=\int_{\mathbb{R}^n}|f|^p\omega^p(x)\,dx< \infty,\right\} $$ ...
Ilovemath's user avatar
  • 677
0 votes
1 answer
185 views

Can we approximate a Hölder pdf by higher-order Hölder pdf's?

$\newcommand{\RR}{\mathbb R}\newcommand{\NN}{\mathbb N}$ Let $\alpha \in (0, 1)$ and $j \in \NN$. We denote by $H^{j + \alpha} := H^{j + \alpha} ({\RR}^d)$ the space of real-valued functions $f$ on $\...
Akira's user avatar
  • 835
6 votes
2 answers
2k views

Weak convergence + convergence of the norm implies strong convergence in Orlicz spaces

It is known [1, proposition 3.32] and a classical trick in PDEs that, in any uniformly convex Banach space $X$, weak convergence $x_n\rightharpoonup x$ together with convergence of the norm $\|x_n\|_X\...
leo monsaingeon's user avatar
4 votes
1 answer
150 views

Reference request: Uniformly elliptic partial differential operator generates positivity preserving semigroup

I am looking for a reference of the following result: Let $\Omega\subset \mathbb{R}^n$ be be a bounded domain with smooth boundary. Let $$A = \sum_{i,j=1}^n \partial_i ( a_{ij} \partial_j) + \sum_{i=1}...
Peter Wacken's user avatar
2 votes
0 answers
126 views

Differential equations: trying to connect a nonlinear equation to a linear one

The following is motivated by taking a product space $\Omega$ and splitting it into two parts via projections, whose subspaces, $T$ and $X$, are home to functions which satisfy a nonlinear PDE and a ...
John McManus's user avatar
1 vote
0 answers
109 views

PDE coupled with the pronic numbers (related to triangular numbers)

I am studying the linear PDE: $$ t^2\frac{\partial^3}{\partial t^3}\sum_{n=1}^\infty \Psi_n(t,s)=s^2\frac{\partial}{\partial s}\sum_{n=1}^\infty \Psi_n(t,s)+\sum_{n=2}^\infty b(n)\frac{\partial}{\...
John McManus's user avatar
4 votes
0 answers
77 views

Reference/Help request for formula $[A,e^{-itB}]$ found in physics thread

I'm wondering if anyone has a rigorous reference or a proof of the formula (2) found in the main answer of this thread on the physics stack exchange. I want to use it but in the case where $A, B$ are ...
DerGalaxy's user avatar
1 vote
0 answers
47 views

Existence for a nonlinear evolution equation with a monotone operator that is not maximal

We consider the nonlinear evolution equation $$ \dot{u}(t) + Bu(t) = 0, \quad u(0)=0 $$ with $$ A: \mathcal{C}(\Omega)\to \mathcal{M}(\Omega),\; p \mapsto \arg\min_{\mu\in\partial\chi_{\{||\...
ChocolateRain's user avatar
1 vote
0 answers
96 views

Representation formula for the continuity equation on a separable Hilbert space

The following is an informal question for which I'd like to (ideally) find a reference. I'm quite a novice in this area but would be happy to find a reference to a theorem along the following lines (...
Gregor Samsa's user avatar
1 vote
0 answers
63 views

Solution to $u_t = A(t)u + f(t)$ on bounded domain

I am dealing with the problem \begin{align}u_t &= \nabla \cdot (a(x,t) \nabla u) + f(x,t) &\text{ on } \Omega \times (0,T)\\ \partial_{\nu} u &= 0 &\text{ on } \partial \Omega \...
Maschadi's user avatar
1 vote
0 answers
111 views

Schrödinger equation approximation – continuity of eigenvalues with respect to potential

The question has been crossposted from Stackexchange after receiving no answers. Setup: the time-independent Schrödinger equation (eigenvalue problem): $(-\frac{\hbar^2}{2m}\Delta +V)\psi = E\psi$ (On ...
Rohan Didmishe's user avatar
4 votes
1 answer
418 views

Periodicity and Burger's equation

Consider the 1-dimensional Burger's equation on a finite interval $I=(0,1)$, $$u_t+uu_x=u_{xx}$$ with initial condition $$u(x,0)=f(x)$$ and boundary conditions $$u(0,t)=A(t) \qquad u(1,t)=B(t).$$ ...
T. Amdeberhan's user avatar
6 votes
0 answers
110 views

Heat Flows and spatial singularities

While working on an abstract problem, I came up with the following question: Let $\Omega_1 := \mathrm B(-1, 1)$ and $\Omega_2 := \mathrm B(1, 1)$, where $\mathrm B(x, r) \subseteq \mathbb R^2$ denotes ...
Alexander Dobrick's user avatar
1 vote
0 answers
74 views

"N-waves" (source-type solutions) for Hamilton-Jacobi equation $v_t + (v_x)^2 = 0$

Let us consider the Burgers equation $$u_t + (u^2)_x = 0$$ In Liu, Tai-Ping; Pierre, Michel, Source-solutions and asymptotic behavior in conservation laws, J. Differ. Equations 51, 419-441 (1984). ...
Riku's user avatar
  • 839
2 votes
1 answer
240 views

Strategy of the proof of the "minimal entropy condition" for scalar conservation laws

Combining Theorem 2.3 and Corollary 2.5 of this paper gives that, for a strictly convex conservation law $$u_t + f(u)_x = 0,$$ satisfying the entropy condition $$\eta(u)_t + q(u)_x \le 0$$ in the ...
user avatar
4 votes
0 answers
134 views

Weighted logarithmic Sobolev inequality

$\DeclareMathOperator\Ent{Ent}$The usual logarithmic Sobolev inequality says that $$ \Ent_\mu(f^2)\leq C\int |\nabla f|^2 d\mu $$ where the entropy $$ \Ent_\mu(f^2)=\int f^2 \log\left( \frac{f^2}{\int ...
leo monsaingeon's user avatar
1 vote
0 answers
99 views

N-wave solution of conservation law $u_t + (u - u^2)_x = 0$

How can we compute the "N-wave" source-solution of the conservation law $$u_t + (u - u^2)_x = 0, $$ that is, the entropy solution of this conservation law with the initial data $u(0,\cdot) = ...
Riku's user avatar
  • 839
3 votes
1 answer
466 views

Equivalence between two fractional Sobolev spaces

For $s \in (0,1)$, we consider the spectral fractional Laplacian \begin{align} (-\Delta)^{-s}u = \sum_{k=1}^{\infty}\lambda_k^{-s}(\phi_k,u)_{L^2}\phi_k \end{align} where \begin{align*} \begin{cases} ...
Zac's user avatar
  • 161
1 vote
0 answers
47 views

Scaling limit of transport equation with double-well potential

Let us consider the transport PDE $$ u^\epsilon_t + u^\epsilon_x= -\frac{1}{\epsilon} W'(u^\epsilon) $$ where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the PDE ...
Riku's user avatar
  • 839
2 votes
0 answers
64 views

Scaling limit of ODE with double-well potential

Let us consider the ODE $$ \frac{d}{dt}x_\epsilon(t) = -\frac{1}{\epsilon} W'(x_\epsilon(t)) $$ where $W$ is a double-well potential -- for example, $W(x)=\frac{1}{4}(x^2-1)^2$ so that the ODE reads $$...
Riku's user avatar
  • 839
0 votes
1 answer
157 views

Oleinik inequality (one-sided Lipschitz condition) implies $BV_{\mathrm{loc}}$ for solution of conservation law

Consider the scalar conservation law $$u_t+f(u)_x=0, \hspace{0.4 cm} \text{in $\hspace{0.2 cm}$ $\mathbb{R} \times (0,\infty)$}$$ where $f \in C^{2}(\mathbb{R})$ is a strictly convex function ($f''>...
user avatar
3 votes
1 answer
577 views

A constant ratio of integrals? Part II

This question is a follow up on my latest MO post which was addressed kindly by Iosif Pinelis. What is new here is that I need to correct the assumption by including a missing hypothesis. The context ...
T. Amdeberhan's user avatar
4 votes
1 answer
379 views

A constant ratio of integrals? Part I

Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$. For $0<r\leq1$, consider the average of its Dirichlet integral $$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
T. Amdeberhan's user avatar
0 votes
0 answers
98 views

Reference request: subspace-based generalisation of weak* convergence

Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
fsp-b's user avatar
  • 463
0 votes
0 answers
66 views

Reference request: Integrability condition on measures

Let $(\mathcal{C}, \|\cdot\|)$ be a (non-locally compact) Banach space with Borel $\sigma$-algebra $\mathcal{B}$. Given a probability measure $\mu : \mathcal{B}\rightarrow[0,1]$, I'm interested in ...
fsp-b's user avatar
  • 463
5 votes
1 answer
630 views

Uniqueness of Kantorovich potentials?

$\newcommand{\R}{\mathbb R}$Take $\Omega\subset \R^d$ bounded, convex, and smooth. Consider the optimal transport problem with cost $c(x,y)=\lvert x-y\rvert^2$, leading to the quadratic Wassersein ...
leo monsaingeon's user avatar
2 votes
0 answers
149 views

Reference for weighted Sobolev spaces

I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
Lilla's user avatar
  • 235
3 votes
0 answers
190 views

$C^1$-regularity of solution of a Dirichlet problem

I've been stuck trying to hunt down a proof/reference for a certain regularity result which I need for my thesis (all the authors I've consulted refer to it as "well-known"). Consider the ...
Othman El Hammouchi's user avatar
5 votes
1 answer
224 views

Spectral theory of infinite volume hyperbolic manifolds

I have a question about the discrete spectrum of the Laplace operator on hyperbolic manifolds with infinite volume. I understand the case of infinite area surfaces: see Chapter 7 (Sections 1 and 2) of ...
SMS's user avatar
  • 1,407
3 votes
0 answers
158 views

$L^\infty-L^\infty$ bounds for heat semigroups constructed from the Dirichlet Laplacian

Let $D \subset \mathbb{R}^n$ be a bounded domain with Lipschitz boundary, and let $\Delta$ be the Laplace operator with the Dirichlet boundary condition on $D$. Let $e^{t\Delta}$ be the corresponding ...
SMS's user avatar
  • 1,407
3 votes
0 answers
170 views

A version of the Nash-Moser inverse function for unbounded domains?

Do there exist versions of the Nash-Moser inverse function theorem applicable to spaces of unbounded smooth functions on unbounded domains in $\mathbb{R}^n$? Any reference would be appreciated but ...
S.Z.'s user avatar
  • 505
4 votes
0 answers
160 views

An estimate for the Benjamin-Ono equation from T. Tao's well-posedness paper

In https://arxiv.org/abs/math/0307289 (eq. (8)), for a (smooth) solution of the equation $$u_t - uu_x + Hu_{xx} = 0$$ ​ (where $H$ denotes the Hilbert transform) the following estimate is stated (...
Riku's user avatar
  • 839
1 vote
0 answers
79 views

Reference for smoothness of Nemytskii operator on fractional Sobolev spaces

Let $\varphi:\mathbb{R}\to\mathbb{R}$ be smooth and bounded (together with all of its derivatives). Define the operator $$ \big(N_\varphi x\big)(t)=\varphi\big(x(t)\big) $$ for $x\in H^s(T^d)$, the ...
julian's user avatar
  • 93
0 votes
0 answers
70 views

Normal vector to a level set and fractional Laplacian

Let $U=\{u\le0\}$ and $\partial U=\{u=0\}$. Suppose $\nabla u$ does not vanish on $\partial U$. Then the (canonical extension of the) normal vector field to $\partial U$ (pointing to the interior of $\...
user173196's user avatar
2 votes
1 answer
432 views

Second-order elliptic regularity with rough coefficients

Let $\Omega \subseteq \mathbb R^n$ be a bounded open set with smooth boundary. Let $k\geq 1$, $\alpha\in(0,1)$, $a_{ij},b_i,f \in C^{k,\alpha}(\Omega)$ for $i,j=1,...,n$, and define the operator $$L = ...
atzol's user avatar
  • 45
2 votes
1 answer
246 views

Change of variable and boundary data for Laplace equation

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ \begin{cases} -\Delta u = 0 & x \in \Omega \\ u = 1 & x \in \partial \Omega \end{cases} $$ Does it make ...
Zac's user avatar
  • 161
2 votes
1 answer
196 views

Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in $\mathbb R^n \setminus \Omega$

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ (1) \quad \begin{cases} (-\Delta)^s u +\lambda u= 0 & x \in \Omega \\ u = 1 & x \in \mathbb R^n \...
Zac's user avatar
  • 161
1 vote
1 answer
182 views

Proving an estimate for the Neumann problem on $\mathbb{R}^3 \setminus B_1$ in Weighted Sobolev spaces

Let $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. It is known that for every $g \in H^{\frac{1}{2}} (\partial M)$, and for an appropriate $\delta$, there exists a unique solution $u$ ...
Laithy's user avatar
  • 969
1 vote
1 answer
116 views

uniform convergence of $H^r$ projectors on compact sets?

Let $\Omega\subset \mathbb R^d$ be a smooth, bounded domain. Let $(e_n)_{n\geq 0}\subset L^2(\Omega)$ be the Hilbert basis generated by the Dirichlet-Laplacian eigenfunctions, i-e $-\Delta e_n=\...
leo monsaingeon's user avatar

1
2 3 4 5