All Questions
12,936 questions
2
votes
1
answer
89
views
Upper bound on the Levy-Prokhorov distance between the distributions of continuous Gaussian processes in terms of their covariances
Denote by $d$ the supremum metric on the space $C[0,T]$ of continuous real-valued functions on $[0,T]$:
$$
d(f,g) = \sup_{t \in [0,T]} |f(t)-g(t)|.
$$
Let $\rho$ be the Levy-Prokhorov metric on the ...
- 177
0
votes
0
answers
100
views
Construct a bi-Lipschitz mapping that maps a cube to a ball which has the same center with the cube
A mapping $f: \mathbb{R}^n\to \mathbb{R}^n$ is said to be $K$-bi-Lipschitz, $K>1$, if
\begin{equation*}
\dfrac{1}{K}\leqslant \dfrac{|f(x)-f(y)|}{|x-y|}\leqslant K,
\end{equation*}
for any $x,y\in \...
- 69
3
votes
0
answers
108
views
A question on essentially self-adjoint differential operators of the type $\Delta=D^{\ast}D$
Let $(M,g)$ be a smooth (connected, complete, oriented) Riemannian manifold and let $D:C^{\infty}(M)\to C^{\infty}(M)$ be a linear partial differential operator, which I view as an operator in $L^{2}(...
- 1,171
4
votes
0
answers
114
views
SPDE Renormalization
some SPDE (in higher dimensions) can only be interpreted in a "renormalised" sense. For example considering $\Phi_2^4$ on $\mathbb{R}_+\times \mathbb{T}^d$ the solution is defined as the ...
- 573
2
votes
1
answer
66
views
How many non-trivial solutions can a semilinear elliptic equation have on a smooth star-shaped bounded domain with 0-Dirichlet boundary conditions?
I am not an expert in elliptic partial differential equations, but while studying the attractor structure of evolutionary PDEs, I frequently encounter problems related to elliptic equations. ...
1
vote
2
answers
237
views
Calderón–Zygmund/$L^p$ estimates for the linear heat equation
Let $C_r$ denote the open cylinder
$$
C_r = \{(x,t) \in \mathbb R^{n+1} : |x| < r, -r^2 < t < 0\}
$$
and consider a classical $C^{2,1}_{x,t}(C_1)$-solution to the linear heat equation
$$
\...
- 233
2
votes
0
answers
121
views
On mollifiers acting between $L^2$ and Sobolev spaces
(I'm reposting here this question from MSE as it didn't receive any answer for two weeks.)
Consider a sequence of finite lattices in $\mathbb{R}^n$ defined by
$$L_k= [-k,k]^n \cap 2^{-k}\cdot \mathbb{...
- 557
15
votes
2
answers
889
views
Hodge decomposition of smooth n-forms: is it an isomorphism of topological vector spaces?
Fix a compact Riemannian manifold $M$ (leaving the metric implicit). What I'd like to know is if the corresponding Hodge decomposition of smooth $n$-forms
$$
\Omega^n(M) \simeq \mathcal{H}^n(M)\oplus ...
- 35.5k
2
votes
1
answer
79
views
There is some initial data such that the decay of the semigroup in it is faster than $t^{-n/2}$?
Lee and Ni show in their work Link Here that the heat semigroup $e^{t \Delta}u_0$ has decay as $t^{-\min \{a, n\} /2}$, $t \to \infty$ if $u_0 = C(1+|x|^2)^{a/2}$ if $a \neq n$. I'm trying to ...
- 677
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?
3
votes
0
answers
118
views
Which sigma-ideals in a sigma-algebra are contained in an ideal of null sets?
Let $X$ be a Polish space and $\mathcal{B}(X)$ be the $\sigma$-algebra of Borel subsets of $X$. Given a Borel probability measure $\mu$ on $X$, we write $\mathcal{N}(\mu) := \{ B \in \mathcal{B}(X) : \...
2
votes
1
answer
142
views
Bounded differentiation operator on compact intervals with $L^2$ norm
It is known that the differentiation operator $D$ is not bounded on $C^1([0,1])$ with $L^2$ norm (counterexample: $f(x)=x^n$). Now I am wondering whether there is an infinitely dimensional subspace ...
- 153
11
votes
3
answers
727
views
Application of Lie group analysis of PDE (beyond calculation of exact solutions)
I am learning the Lie symmetry group method for PDEs. In my reading, all of the applications of this method are to calculate the exact solutions of PDEs. Are there any good references which provide ...
- 111
4
votes
1
answer
54
views
Krein-Rutman for integral transforms: proof of convergence to leading eigenvector
Disclaimer: This is a question in functional analysis, on which I don't have much background. It arose from me trying to prove on my own a folklore result in probability theory.
Consider an integral ...
- 312
1
vote
0
answers
90
views
Euler-Lagrange equation of fractional Laplacian
The following result is in "An extension problem related to the fractional Laplacian" Section 3.2 by Caffarelli-Silvestre. I’m confused how to show it and wish to have some help.
Suppose $u:\...
- 421
5
votes
1
answer
183
views
Question about modular group (Modular theory in operator algebras, section 2.14)
Consider the following fragment from Stratila's book "Modular theory in operator algebras", section 2.14, p20:
I'm trying to understand the claim $(3)$ (see the red box). The main strategy ...
- 175
0
votes
0
answers
112
views
Vector field connecting two points
I'm now working on somehow an inverse problem of an ODE:
Suppose we have a ODE on $\mathbb{R}^{n}$: $\dot{x} = f(x)$, denote the solution to the ODE starting at $a$ as $x_{f,a}$(t).
Now there is a ...
- 1
2
votes
0
answers
93
views
$\Phi_d^3$ SPDE
One of the first prototypes of a singular stochastic PDE is the $\Phi_d^4$ SPDE
$$\partial_t u=\Delta u-u^3+\xi,$$
where $\xi$ is space-time white noise. It is difficult to study because $u$ is ...
- 1,904
2
votes
1
answer
75
views
How to show $\lVert\Delta u_n- \Delta u\rVert_{L^2(0,T; \,H^2(\Omega))} \to 0$ ? $(\Omega \subset \mathbb{R}^2)$
Let $u_n, \nabla u_n, \Delta u_n, \nabla \Delta u_n, \Delta^2 u_n$ be uniformly bounded in $L^2((0,T) \times \Omega)$ where $\Omega \subset \mathbb{R}^2, u=\Delta u =0$ on $\partial \Omega$.
Assume ...
- 101
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 ...
- 2,818
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 1,429
0
votes
0
answers
118
views
Find the maximum of an expression under the logconcave assumption
Let $F(v)$ be a cdf over $\left[0,v_{max}\right]$, $1-F(v)$ is logconcave. The corresponding density function is $f(v)$. Let $p^m$ solve $1-F(v)-f(v)v=0$ (it is a FOC of a profit maximization problem)....
2
votes
1
answer
49
views
Is any submetrizable linear topology linearly submetrizable?
Let $E$ be a vector space. A topology $\tau$ on $E$ is called (linearly) submetrizable if there is a (linear) metrizable topology $\pi$ on $E$ which is weaker than $\tau$, i.e. $\pi\subset\tau$.
Is ...
- 5,529
7
votes
2
answers
351
views
Can the Banach algebra structure on $B(E)$ be (almost) retrieved from its Banach space structure?
This is basically just out of curiosity. Also, since my research area is in von Neumann algebras and my knowledge of general Banach algebras as well as general Banach spaces is somewhat limited, I ...
- 2,830
0
votes
1
answer
96
views
Existence of a complemented basic sequence
Let $X$ be an infinite-dimensional Banach space (complex or real). A subspace of $X$ means a closed linear submanifold. If $S$ is a non-empty subset of $X$, then $[S]$ denotes the closed linear span ...
- 391
1
vote
2
answers
209
views
Approximate simple function $f$ by a sequence of continuous functions on $\mathbb{R}^d$ such that $\|f_n\|_\infty\leq \|f\|_\infty$
Let $f=\sum_{i=1}^n c_i 1_{\Delta_i}$ be a simple function on $\mathbb{R}^d$, where $c_i\in\mathbb{C}$. Then we can find sequnces of continuous functions $\{f_k^{(i)}\}$ for each $i=1,\ldots,n$ such ...
- 29
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$...
- 35
2
votes
0
answers
90
views
Positivity for a kinetic PDE
Let us consider the following kinetic equation:
$$ \partial_t f + v \cdot \partial_x f = \rho[f] \, M[T] - f $$
for a the phase space density $f=f(x,v,t)$ on $\mathbb{T}^1 \times \mathbb{R} \times (0, ...
- 185
2
votes
2
answers
154
views
Domains of type (A) are Lipschitz?
In this article and in the book of Ladyzhenskaya et al (1968) - Linear and Quasilinear Elliptic Equations we have the following definition of what is a domain of type (A):
There is no example of a ...
- 1,759
3
votes
0
answers
219
views
Strictly contracting solutions to the Eikonal equation on Riemannian manifolds
Given a Riemannian manifold $M$, we say $f: M \to \mathbb R$ is a strict contraction if $|f(x) - f(y)| < |x - y|$ for all distinct $x, y \in M$.
Question: Does there exist, on every complete ...
- 6,321
2
votes
1
answer
99
views
A question on Bloch functions
Let $\mathcal{B}(\Delta)$ be the space of Bloch functions in the unit disk $\Delta$. For any $f\in \mathcal{B}(\Delta)$, we define the Bloch norm by
$$
\|f\|_{\mathcal{B}}=\sup_{|z|<1}|f'(z)|(1-|z|^...
- 1,706
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 ...
- 1,759
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 $...
- 1,759
2
votes
0
answers
83
views
3/2 Sobolev Norm on the boundary of a bounded open subset of $\Bbb R^n$
Let $\Omega\subset\mathbb{R}^{n}$ be a open bounded set and $\partial\Omega$ be the boundary of $\Omega$.
Following the reference text by Alois Kufner, Oldřich John and Svatopluk Fučík, Function ...
1
vote
0
answers
52
views
High order parabolic PDEs on manifolds: Reference request
I recently became interested in parabolic PDEs of order 4 on surfaces. However, I have a very little background in parabolic PDEs. I discovered Lunardi's book (Analytic semigroups and optimal ...
- 363
4
votes
0
answers
141
views
Condition under a function is uniquely identifiable by the supremum values
Let $f(x),g(x)$ be two real-valued functions on $\mathbb{R}$ and $h(x,y)$ be a real-valued function on the plane. We can assume continuity (maybe piecewise differentiability also) of these functions. ...
- 271
2
votes
1
answer
149
views
Show that $\|P(f\circ\varphi_{\lambda})-\widetilde{f}(\lambda)\|_p=\|P(f\circ\varphi_{\lambda}-\overline{P(\overline{f}\circ\varphi_{\lambda}}))\|_p.$
Let $\Omega = \mathbb B_n,$ the unit ball in $\mathbb C^n$ and $L^2_a(\Omega)$ be the Bergman space endowed with the normalized volume measure on $\Omega.$ Let $k_{\lambda}$ be the associated Bergman ...
- 41
2
votes
0
answers
82
views
Asymptotic expansion of the solution of a nonlinear wave equation
I am reading the article Recovery of a cubic non-linearity in the wave equation in the weakly non-linear regime (arXiv link) by Barreto, Plamen, where they consider the modified cubic NLWE
$$-\...
- 890
3
votes
1
answer
135
views
Estimating a solution to Euler-type ODE #2
This is a similar question to this but with a different ODE.
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer, $R&...
- 969
5
votes
2
answers
258
views
Boundary value of Sobolev space
Let $D$ be a regular domain in $\mathbb R^2$. Suppose that $u \in H_0^1(D) \cap C(D)$. Does this imply $u \in C(\overline D)$ and $u|_{\partial D} = 0$?
- 177
1
vote
0
answers
55
views
Characterizing one-sided M-projections on real C*-algebras
Let $A$ be a real C*-algebra, and let $P: A \to A$ be a bounded linear projection. We say that $P$ is a left M-projection if the map
$$
v_P: A \to C_2(A), \quad x \mapsto \begin{pmatrix} P(x) \\ x - P(...
- 11
1
vote
0
answers
105
views
KdV/KP-II equation with upper semicontinuous initial data and viscosity solutions
In the article "KP governs random growth off a 1-dimensional substrate", they study the KP-II equation: the function $\phi(t,x,r)=\partial_{r}^{2}\log(F)$ satisfies
$$\partial_{t}\phi+\frac{...
- 5,474
-1
votes
1
answer
87
views
how take weak derivative of norms in hilbert spaces?
Let the following be hilbert spaces with dens inclusions $V ↪H=H^* ↪V^*$. Where $H^*$ and $V^*$ are the duals. $H$ has the product $(*,*)$ and $V×V^*$ has the product $⟨*,*⟩$.
Let $u∈L^2 ([0,T];V); ...
3
votes
1
answer
104
views
From Wightman to HK axioms for "non-neutral (charged?)" fields
Wightman axioms deal with operator-valued distributions (Wightman fields) whose values are unbounded operators in general.
On the other hand, the Haag-Kastler axioms deal with net of observables, ...
- 3,477
4
votes
0
answers
198
views
Pricing zero coupon bonds through PDE
I'm currently studying Paul Wilmott on quantitative finance and saw an interesting idea for an interest rate model that went unexplored in the book.
The idea is to model the market price of risk as a ...
- 51
11
votes
0
answers
342
views
The diagonal operators and unconditionality
The following is well-known:
Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$.
Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with
the ...
- 986
0
votes
0
answers
80
views
Relationship between two minimization problems
Let $1 \le p < n$ and $p^* = np/(n - p)$. Let $B \subset \mathbb{R}^n$ be a closed ball and let $\Omega \subset \mathbb{R}^n$ be an open set containing $B$. We denote by $W^{1, p}_{B}(\Omega)$ the ...
4
votes
1
answer
222
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 ...
- 143
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^...
- 1,759
6
votes
1
answer
257
views
Example/Existence of Positive Linear Functional which is NOT Hermitian
We know that if $\mathcal{A}$ is a unital $C^*$-algebra and if $f:\mathcal{A}\to\mathbb{C}$ is a positive linear functional then it is Hermitian. It simply follows from the fact that in $\mathcal{A}$ ...
- 173