All Questions
4,446 questions with no upvoted or accepted answers
3
votes
0
answers
145
views
Density of invariant measure of stochastic differential equation
I have a question: is it possible that an SDE has a "nice" density, but its invariant measure does not have a "nice" density? I asked this question at math.stackexchange but ...
3
votes
0
answers
164
views
Extension of normal vector field to a domain
Let $\Omega \subset \mathbb R^3$ be a bounded regular simply connected domain contained in a ball $S$. Assume also that $\Omega$ is simply connected by surfaces (i.e. every regular closed surface ...
3
votes
0
answers
106
views
Convergence of Schrödinger ground states in $L^p$ for $p\neq 2$
Suppose that $H=-\Delta+V$ is a Schrödinger operator with a unique ground state $\psi$. Suppose that $H_n=-\Delta+V_n$ is a sequence of operators such that $V_n\to V$ in some sense as $n\to\infty$ (...
3
votes
0
answers
159
views
Does the weak formulation of a parabolic PDE applies to a (good) non-test function?
Let $\rho:\mathbb R^d\times[0,\infty)\to(0,\infty)$ such that $\int \rho_t(x)\,dx=1$ for all $t\geq0\,$, $\rho$ is Holder-continuous (in both variables) and $\rho_t\in W^{1,1}(\mathbb R^d)$ for a.e. $...
3
votes
0
answers
193
views
Fermat's Last Theorem (FLT) in standard model space corresponding to an infinite Blaschke product
Let $u$ be an inner function and denote by $H^2$ the Hardy space on the open unit disc D. A model space $K_u$ associated to $u$ is a Hilbert space of the form $K_u=(uH^2)^⊥$ where ⊥ denotes the ...
3
votes
0
answers
177
views
Truncation on $H^\infty(\mathbb{D})$ vs $H^\infty(\mathbb{D}^2)$
$\newcommand{\D}{\mathbb{D}}$
Let $H^\infty(\D)$ be the space of bounded analytic functions in the unit disc $\D$. For a function $f(z) = \sum_{n=0}^\infty a_nz^n$ we can define its truncation as
$$...
3
votes
0
answers
775
views
The exponential derivative operator
Thank you very much for the interesting responses in my previous question The Quotient exponential operator.
I have another complicated formula related to the previous one in the following
$$
\exp\...
3
votes
0
answers
56
views
On Sobolev's inequality for weakly conformal maps
Suppose $u\in W^{2,p}(B^2,\mathbb{R}^n)$, $1<p<2$, is weakly conformal, that is
$$|u_x|=|u_y|,\quad u_x\cdot u_y=0$$
for almost every $(x,y)\in B^2$. Here $B^2$ is the unit open ball in $\mathbb{...
3
votes
0
answers
239
views
How to prove the following the set are equal
Let $D$ be an open convex subset of $\mathbf R^d$ with boundary $\partial D$ and closure $\overline D$.
For $x\in\mathbf R^d$ and a unit vector $e$ let $L_{x,e}=\{x+\lambda e, \lambda\ge0\}$ be the ...
3
votes
0
answers
347
views
Products of projective spaces
This is a question about projective spaces which is either well known or totally misconceived, and it would be nice to know which. It arose from looking at the pure state spaces on finite dimensional $...
3
votes
0
answers
175
views
Is the following generalization of piecewise continuity equivalent to any other common types of functions on metric spaces?
EDIT: I think what I have isn't precisely what I want... we should also require $x$ in condition (3) to be "not bad" in some sense, although I'm not quite sure what that should mean for my ...
3
votes
0
answers
121
views
Schatten norm estimate of spatially truncated resolvent of Laplacian
Consider the operator $-\Delta$ on $L^2(\mathbb R^d)$. In my studies I stumbled upon operators of the form
$$1_{\Gamma_n} (-\Delta -z)^{-1} 1_{\Gamma_m},$$
where $1_{\Gamma_m}$ denotes multiplication ...
3
votes
0
answers
78
views
Classification of limit points
Let $X$ be a subset of a topolgical space with no open points. Then
$$\overline{X}=X_1\sqcup X_2\sqcup X_3\sqcup X_4\sqcup X_5$$
where $X_1$ are isolated points of $X$,
$X_2$ are interior points, $X_3=...
3
votes
0
answers
282
views
Commutator length of the fundamental group of some grope
A popular way to describe a grope as the direct limit $L$ of a nested sequence of compact 2-dimensional polyhedra
$L_0 \to L_1 \to L_2 \to \cdots$
obtained as follows. Take $L_0$ as some $S_g$, an ...
3
votes
0
answers
173
views
How do you compute the $w_2$ of Freedman's E8 manifold?
The Wikipedia page for Rokhlin's Theorem says
"Michael Freedman's E8 manifold is a simply connected compact topological manifold with vanishing $w_{2}(M)$ and intersection form $E_{8}$ of ...
3
votes
0
answers
38
views
Do higher-order splines with Lipschitz derivatives exist on finite sets?
Fix $k\in \mathbb{N}^+$ and let $E=(e_i,f_i)_{i=1}^I\subset \mathbb{R}^n\times \mathbb{R}^m$ be a non-empty finite set with $e_i\neq e_j$ whenever $i\neq j$.
If $n=m=1$ then it's easy to see that:
$$
...
3
votes
0
answers
99
views
Condition for: A simple quotient metric induced by surjective map + equivalence relation
Let $X$ be a metric space and let $f:X\rightarrow Z$ be a surjective map onto some set $Z$. Define the pseudo-metric $d_f$ on $Z$ by:
$$
d_f(z_1,z_2)\triangleq \inf_{\underset{f(x_i)=z_i}{x_i\in X}}
\...
3
votes
1
answer
395
views
Closed embedding into a normal Hausdorff space and left lifting property
I am trying to understand the characterization of the class of closed embeddings into a normal Hausdorff space as the class of continuous maps satisfying the left lifting property with respect to a ...
3
votes
0
answers
201
views
Eigenvalue estimates for kernel integral operator for Laplace kernel on unit-sphere in high-dimensions
Let $d$ be a large positive integer and let $S_{d-1}$ be the unit-sphere in $\mathbb R^d$ and let $K_\gamma:S_{d-1} \times S_{d-1} \to \mathbb R$ be defined by $K_\gamma(x,x') = e^{-\|x-x'\|_2^\gamma}$...
3
votes
0
answers
274
views
Density of signed measures in dual space
Let $B$ be a Banach space of functions on a Radon space $X$. By the Hahn-Banach theorem, we know that the canonical evaluation map is isometric. That is, for every $f \in B$, we have
$$\|f\| = \sup_{\...
3
votes
0
answers
462
views
Analytic formula for the eigenvalues of kernel integral operator induced by Laplace kernel $K(x,x') = e^{-c\|x-x'\|}$ on unit-sphere in $\mathbb R^d$
Let $d \ge 2$ be an integer and let $X=\mathcal S_{d-1}$ the unit-sphere in $\mathbb R^d$. Let $\tau_d$ be the uniform distribution on $X$. Define a function $K:X \times X \to \mathbb R$ by $K(x,y) := ...
3
votes
0
answers
138
views
Property $(V_1)$ for Banach spaces
This aim of this note is to record a problem that still seems to be open.
Räbiger, in his doctoral thesis, defined property $(V_1)$ as follows: A Banach space $X$ has property $(V_1)$ if every ...
3
votes
0
answers
181
views
Variational problems living in two different Sobolev spaces
Is there a general reference concerning variational problems living in $W^{h,p}\times W^{k,p}$, with $h, k\in\mathbb{N}_0$ not coinciding? I'm thinking to problems of type:
$$\inf_{u,v}\int_{\Omega} ...
3
votes
0
answers
232
views
Characterization of Freudenthal (end) compactification
I had seen somewhere in the literature that the Freudenthal compactification of a locally compact, connected, locally connected, $\sigma$-compact, Hausdorff topological space $X$, is the maximal ideal ...
3
votes
0
answers
69
views
Non-closed trajectories in convex billiards
This is a weak version of this problem, written down in Lviv Scottish Book.
I start with necessary definitions.
Let $K=-K$ be a centrally symmetric compact convex body in the Euclidean space $\mathbb ...
3
votes
0
answers
115
views
Linearized NLS/GP around a soliton and the spectrum of the evolution operator
I apologize if this has been asked before but so far I haven't found it anywhere.
Consider the Nonlinear Schrödinger equation with a potential (i.e. Gross- Pitaevskii) in $\mathbb{R}^{d}$
$$i\Psi_{t} =...
3
votes
0
answers
182
views
Parabolic regularization for the Navier-Stokes equations
I'm looking for some references about a result on the Navier-Stokes equations which seems to be folklore but for which I didn't manage to find a proof. The setting is the following :
Let $Q=\mathbb{R}^...
3
votes
0
answers
111
views
Infinite ordered products (reference request)
While writing arXiv:1510.05757v2, I found myself proving some basic facts about products of Banach algebra elements over an infinite totally ordered set. (Statements and proofs are in Appendix C.) The ...
3
votes
0
answers
202
views
'Local' commutativity of self-adjoint operators
Preamble
Two (unbounded) self-adjoint operators $A, B$ on a Hilbert space $\mathcal{H}$ are said to (strongly) commute if the unitary groups they generate commute or equivilantely if all the ...
3
votes
0
answers
322
views
Heat equation damps backward heat equation?
In a previous question on mathoverflow, I was wondering about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. ...
3
votes
0
answers
117
views
Clarification about extensions of Ornstein-Uhlenbeck operator
I am reading stuffs regarding the Ornstein-Uhlenbeck operator and its various extensions to $L^p(\gamma)$, with $p \in (1,+\infty)$ and with $\gamma$ the standard Gaussian measure on $\mathbb{R}^d$. ...
3
votes
0
answers
158
views
Null-homotopic cellular loops are elementary null-homotopic?
I've got a 2-dimensional cell complex $X$ and a cellular closed loop $l \subset X$ that I happen to know is null-homotopic in $X$.
There are some very simple sorts of homotopies of cellular loops (or ...
3
votes
0
answers
81
views
Isotopy Classes and Embeddability of Products in $\mathbb{R}^2$
On MSE I asked if the plane contains an uncountable collection of mutually disjoint copies of the Warsaw Circle; it seems to be false, and is probably already known but I'm not sure that anybody has ...
3
votes
0
answers
104
views
Regular Lagrangian flows on a domain of $\mathbb{R}^d$ with a boundary
I'm looking for some references about the theory of regular Lagrangian flows on a smooth domain $\Omega$ of $\mathbb{R}^d$ (say a smooth bounded open set of $\mathbb{R}^d$ or a half space).
Here, ...
3
votes
0
answers
246
views
Regularity of the dependence of the flow on the vector field definining it
Let $M$ be a smooth compact manifold and $k \geqslant 1$.
Define $\mathfrak{X}^k(M,TM)$ to be the set of vector fields $M \rightarrow TM$ of class $C^k$. As $M$ is compact, endowing $\mathfrak{X}^k(M,...
3
votes
0
answers
60
views
Existence, Uniqueness, and "ODE Characterization" of Minimizers for Variational Functionals from Large Deviations
A [classical result][1] of E. Lieb is that the functional
$$\mathcal E(\phi):=\int_{\mathbb R^3}|\nabla\phi(x)|^2~dx-\int_{(\mathbb R^3)^2}\frac{|\phi(x)|^2|\phi(y)|^2}{|x-y|}~dx~dy$$
for $\phi\in W^1(...
3
votes
0
answers
72
views
Borel complexity of special unions of Polish spaces
Let $X$ be a compact metrizable space and $(A_q)_{q\in\mathbb Q}$ be a family of pairwise disjoint sets, indexed by rational numbers. Assume that the family $(A_q)_{q\in\mathbb Q}$ has the following ...
3
votes
0
answers
103
views
Pettis vs. Dunford integrability of operator valued functions
Given a Banach space $X$ and a measure space $(\Omega ,\mu )$, one says that a function
$$
f:\Omega \to X
$$
is Dunford integrable, or scalarly integrable if, for every $\varphi $ in the ...
3
votes
0
answers
132
views
Terminology for a generalization of the initial topology
This may be a simple piece of terminology, but I have not located it. For the initial topology, we are given a set of functions, indexed by $\alpha$, $f_{\alpha}:X\rightarrow Y_{\alpha}$, where each ...
3
votes
0
answers
467
views
Opposite of the curl operator and Biot-Savart kernel
Note: I just realized that using $\omega$ and $w$ might not have been the smartest choice of notation -- Sorry about that.
Let $\renewcommand{\div}{\operatorname{\div}}Q_0, Q_1$ be two real numbers, $...
3
votes
0
answers
228
views
Adjunction of pointed maps is a homeomorphism?
What interests me the most is if the case of exponential law is true under the assumptions claimed for example on nlab: if $X, Y$ are Hausdorff and $Y$ is locally compact, then $F^0(X, F^0(Y, Z))\cong ...
3
votes
0
answers
198
views
Dirichlet to Neumann operator and the Riesz transform
Consider the manifold $M := \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. Equip $M$ with an asymptotically flat metric $g$ of high order. Let $\gamma$ be the induced metric on $\partial M$....
3
votes
0
answers
233
views
Sequence unifomly bounded
Let $f(\lambda,z)$ be a continuous function on $\Bbb R^2$ such that
I) For $n\in\Bbb N$ and $x\in\Bbb R^*_+$ we have : $f(n,x)=\cos(nx)+ x O\big(\frac{1}{n}\big)$ as $n\to\infty$ and $x\in[n^{-1}\...
3
votes
0
answers
73
views
The diversity of Riemannian metrics adapted to a given foliation، A Krein Millman view point(2)
Inspired by this answer to the linked question we add a more bounded conditions to this post. This question is asked seperately because the previous one had a complete answer so we did not revise ...
3
votes
0
answers
145
views
Non uniqueness of center of the Banach-Mazur compactum
In "The Banach-Mazur distance to the cube and the Dvoretzky-Rogers factorization" Szarek and Bourgain prove a proportional Dvoretzky-Rogers factorization :
Given $1>\delta>0$ , there ...
3
votes
0
answers
111
views
Can a path-connected domain be completely surrounded by 4 translates?
Question: Does there exist a compact path-connected set $A\subseteq\mathbb C$ such that:
$A\cap(A+1)=A\cap(A+i)=\emptyset$,
$A\cap(A+1+i)\neq\emptyset$, and
$A\cap(A+1-i)\neq\emptyset$?
Remarks: If ...
3
votes
0
answers
109
views
Examples/applications of parabolic PDEs that are not posed on domains or manifolds
Are there any examples of parabolic PDEs
$$u' - Au = f$$
posed in a Gelfand triple setting $V \subset H \subset V^*$ with $V$ and $H$ chosen NOT as spaces of functions (or distributions) over a domain ...
3
votes
0
answers
84
views
"Weakly" nuclear operators (terminology)
Recently, I'd come across the following kind of operators and I wonder if they have been considered before and given a name.
Let's say that a linear map $T:V\to W$ between locally convex topological ...
3
votes
0
answers
152
views
Can every contractible space be embedded as a convex subset of a vector space?
Given a contractible topological space $X$, is there (or what are some conditions for the existence of) a continuous embedding $\iota:X\hookrightarrow V$ into some topological vector space $V$ such ...
3
votes
0
answers
125
views
Green operator of elliptic differential operator and radius of convergence
Let $E \to X$ be a hermitian vector bundle over a compact Kähler manifold and let $L$ be a self-adjoint elliptic linear differential operator on $E$. Suppose that $E \to X$ and $L$ are real-analytic. ...