All Questions
4,446 questions with no upvoted or accepted answers
3
votes
0
answers
168
views
Norm condition in a Banach lattice
Consider the following "condition (J)" on the norm of a (real or complex) Banach lattice $E$: whenever $x$ and $y$ are disjoint (i.e., $|x|\wedge |y|=0$) then
$\|x+y\|+\|x-y\|=2\|x\|+2\|y\|$.
...
3
votes
0
answers
411
views
Bounded functions dense in Sobolev Spaces
Let $M$ be a complete Riemannian manifold. Is it always true that the subspace $C^2_b(M)\cap W^{2,p}(M)$ is dense in $W^{2, p}(M)$, where $C^2_b(M)$ denotes the space of functions that are uniformly ...
3
votes
0
answers
185
views
Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)
Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse.
Does there ...
3
votes
0
answers
103
views
Paracompact and countably compactly generated spaces
A space X is countably compactly generated if it can be written as countable direct limit of compact Hausdorff spaces.
Are countably compactly generated spaces paracompact spaces? Do we have ...
3
votes
0
answers
402
views
Generalization of Jordan Curve Theorem
Jordan Curve Theorem says that any plane continuum homeomorphic to $\mathbb{S}^1$ separates the plane into exactly two components.
Now
"Let $\alpha$ and $\beta$ be two homeomorphic plane continua. ...
3
votes
0
answers
224
views
Strong solution to $u_t - \Delta_p u = f$
For $p > 1$, consider the equation
$$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$
$$u(0) = u_0$$
$$u|_{\partial\Omega} =0$$
for all $v \in W^{1,p}(...
3
votes
0
answers
115
views
Characterization of global sections (which are not products) of a sheaf which is locally a product
In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...
3
votes
0
answers
316
views
Order dimension vs topological dimension of a poset
Let $(P,\leq)$ be a partially ordered set (poset). We define the ordering dimension $\textrm{dim}_\textrm{ord}(P)$ of $(P,\leq)$ to be the smallest cardinal $\kappa$ such that there exist a set of ...
3
votes
0
answers
187
views
An upper bound for a average of a function in $L_{p}([0,1))$
Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j},~
1\leq j \leq 2^{n} \}
\right\} \right)_{n ...
3
votes
0
answers
163
views
Reference for existence results for 2D forced viscous Burgers equation
I am looking for results concering the following parabolic PDE
$$u\cdot\nabla u + \Delta u = F(x),$$
where $$u\colon\Omega\to\mathbb{R}^2,$$ and $\Omega\subset\mathbb{R}^2$ is a 2D domain (bounded or ...
3
votes
0
answers
122
views
A topological space extracting from a group action
Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to \mathbb{C}$...
3
votes
0
answers
119
views
Pointwise a.e. formulation of parabolic PDE, what if null set depends on test function?
Let $u \in L^2(0,T;V)$ with $u_t \in L^2(0,T;V^*)$ be a solution of
$$\langle u_t(t), v \rangle + a(t;u(t), v) = \langle f(t), v \rangle$$
where $f \in L^2(0,T;V^*)$ and we have the usual assumptions ...
3
votes
0
answers
295
views
Density of function spaces
Let $\Omega$ be a subset of either $\mathbb{R}^n$ ($n\geq 3$, if it matters) or of a compact manifold. In either case, we'll call the manifold $M$. Let $V_i\subset V_{i+1} \subset \Omega$ be an ...
3
votes
0
answers
134
views
The distribution of maximum of fraction Brownian motion over finite time interval
Suppose that $\{B_t^H,\ t\geq 0\}$ is a fractional Brownian motion with Hurst exponent $H$, I wonder if there are explicit expressions for the joint distribution of
$(\sup_{0\leq t\leq T}B_t^H,B_T^H)$...
3
votes
0
answers
61
views
Local cross sections in infinite dimensional groups
Let $G$ be an (infinite dimensional) compact connected abelian group and $H$ be a closed subgroup of $G$. The quotient morphism $G\to G/H$ may not possess a local cross section, there are examples ...
3
votes
0
answers
200
views
What are the first non-maximal non-group-subgroup simple irreducible subfactors?
Definition: For an irreducible (finite index) subfactor $(\mathcal{N} \subset \mathcal{M})$, an intermediate $(\mathcal{N} \subset \mathcal{P} \subset \mathcal{M})$
is normal if the biprojections $e_{\...
3
votes
0
answers
140
views
convergence of $e^{it\Delta}f$
I heard of a conjecture that
$e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$
but couldn't find a proper reference.
3
votes
0
answers
83
views
Invexity of the $L_2$ norm
I have the following function:
$ f({\bf A,b}) = \| {\bf y - XAb} \|_2^2$
where ${\bf y}_{n \times 1}$ and ${\bf X}_{n \times p}$ are fixed, and ${\bf A}_{p \times r}$ and ${\bf b}_{r,1}$ are the ...
3
votes
0
answers
146
views
Variational Principle for a System of Differential Equations
I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v \...
3
votes
0
answers
334
views
Homeomorphism of compact Hausdorff spaces
(Note: I asked this question at MSE over a day ago and received no answer, so I'm now reposting it here. Link: https://math.stackexchange.com/questions/853500/homeomorphism-of-compact-hausdorff-spaces)...
3
votes
0
answers
171
views
Berkovich Analytification of the transseries
I am looking for references to articles about the following subjects:
Connections from the field of (real) transseries to the field of surreal numbers (mentioned very briefly in the introduction of ...
3
votes
0
answers
217
views
Small rectangle probability
Let $H$ be a Hilbert space and $\mu$ be a centered Gaussian measure on it. Also, let the eigenpair corresponding to $\mu$ be $(i^{-\alpha} , e_i)$ with $\alpha > 1$. Assume we have a ball of radius ...
3
votes
0
answers
373
views
Closed Graph Theorem and Spaces Of Continuous Functions
Let $X$ be a (Tychonoff) topological space. Consider $C\left(X\right)$ being a topological vector space of all continuous scalar-valued functions with the compact-open topology.
Assume that $Y$ is a ...
3
votes
0
answers
193
views
Method to Generate Random Mutually Orthogonal Unitary Matrices
The title says it all, I'd like to know if such a method exists to generate random mutually orthogonal unitary matrices. If so, any supplementary references would be very much obliged. Thanks again!
3
votes
0
answers
186
views
Smooth function over a manifold into an algebra
Let $M$ be a manifold and $A$ a $*$-algebra. Does is hold that
$$C^{\infty}(M,A) \cong C^{\infty}(M) \otimes A$$
where the RHS means that you take smooth functions which map into $A$. If this holds, ...
3
votes
0
answers
189
views
Can we obtain topology results using analysis in metric measures spaces?
Let $M$ be a smooth compact manifold. It is known that a lower bound on the Ricci curvature is equivalent to the convexity of the entropy on $\mathcal{P}^2(M)$ (Von Rennesse and Sturm '05), but I don'...
3
votes
0
answers
392
views
$C^0$ estimates in wrapped Lagrangian Floer cohomology
Let $(M, d\theta, \theta, Z)$, be an exact Liouville domain, where $Z$ is the Liouville vector field and $\theta$ is the primitive of the symplectic form. Let $\bar{M}$, be the symplectic completion ...
3
votes
0
answers
171
views
Generalized family of Hölder inequalities
Is the "only if" direction of the following fact known?
For fixed sequences $(a)_i = a_1, \dots, a_r$, $(b)_i = b_1, \dots, b_r$ and $(c)_i = c_1, \dots, c_r$, the inequality $\prod_{i = 1}^...
3
votes
0
answers
170
views
Closure of pseudodifferential operators of order 0 on compact manifolds
Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...
3
votes
0
answers
286
views
Tauberian theorem from generalized Gelfand transform
Wiener's theorem gives the necessary and sufficient conditions for the set of translates of a set of functions to be dense in $L^1(\mathbb{R}^n)$, which translates algebraically into a statement about ...
3
votes
0
answers
324
views
Equivalence of Gaussian measures on Hilbert space
Suppose we have 2 nondegenerate Gaussian measures given by N(0,T) and N(0,S) supported on a separable Hilbert space H. T and S are such that eigenbasis of S lies in the cameron martin space of N(0,T)....
3
votes
0
answers
126
views
Are there pathological examples of log-concave measures that admit no shifts?
Does there exist a random vector $X$ in, say, the space $\mathbb{R}^\infty$ of sequences that has the following properties?
The distribution of $X$ is log-concave, i.e. for every $n$ the joint ...
3
votes
0
answers
228
views
Finding density of Haar measure relative to the Liouville volume measure on $\frac{G^{\mathbb{C}}}{P}$
Let $G$ be a connected compact Lie group and $G^{\mathbb{C}}$ be the complexification of the Lie group $G$ then we know that by polar decomposition we can write $G^{\mathbb{C}}\cong G\times \mathfrak{...
3
votes
0
answers
236
views
Is every covariance operator the covariance of a measure?
Let $X$ be a topological linear space over $\mathbb R$ which is complete and Hausdorff with a dual space that separates points. Let $k : X^* \to X$ be an arbitrary covariance operator. i.e., any ...
3
votes
0
answers
274
views
Fourier transform and support of a distribution
Let $T \in \mathscr D'(\mathbb R^n)$ be a distribution, such that its Fourier transform $\widehat T$ is a real analytic function on $\mathbb R^n$ but it can't be continued to an entire function on $\...
3
votes
0
answers
513
views
Domain of the adjoint of the Laplacian
Given a domain $\Omega \subset\Bbb R^n$, consider the set $D := \{u \in L^2(\Omega)| \Delta u \in L^2(\Omega)\}$, where $-\Delta$ is the Laplacian.
I think this is the domain of the adjoint of $-\...
3
votes
0
answers
115
views
Constant in Maximal sobolev regularity
We know the following evolution equation
\begin{equation}
\left\{
\begin{array}{llc}
v_t=A v+f,\\
v(0)=0.
\end{array}
\right.
\end{equation}
$A$ generates a bounded analytic semigroup on a Banach ...
3
votes
0
answers
221
views
Comparison of Hardy's inequality and Sobolev's inequality
Both, Hardy's inequality and Sobolev's inequality, are estimates that compare the Laplacian of a function and to the function itself, admittedly in a slightly different fashion.
Still they seem to be ...
3
votes
0
answers
551
views
Is the limit set of a group action always closed?
Let $G$ be a discrete group acting on a compact metric space $X$. A point $x\in X$ is called a limit point, if there is a base point $x_0\in X$ and an injective sequence $(x_k)_{k\in\mathbb{N}}$ in ...
3
votes
0
answers
305
views
Paracompactness and inner product on vector bundles
Let $X$ be a Hausdorff topological space. It is well-known that every vector bundle on $X$ possesses a continuous inner product, provided that $X$ is paracompact.
Is the converse true? -- Namely ...
3
votes
0
answers
134
views
Characterizing a functional that takes convolution to addition
Let $H:L^2[0,1]\rightarrow \mathbb{R}$ satisfy
$$H(f*g)=H(f)+H(g).$$
Question:Is there a characterization of all such functionals $H$?
Related questions:Can it be extended to measures? If so, is it ...
3
votes
0
answers
113
views
inifinite tensor product algebra representation
For a finite integer $N$, let $A_n = \bigotimes^n M_N(\mathbb{C})$. $A_n$ embeds in $A_{n+1}$. Let $A_\infty = \cup A_n$. Are the (complex) irreducible representations of $A_\infty$ known? It is ...
3
votes
0
answers
201
views
Degree of a function in $H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$
We can define the degree of a function $f \in H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$ as
$$\mathrm{deg} \hspace{1mm} f = \frac{1}{2\pi i} \int_{\mathbb{S}^1} f^{-1} \frac{\partial f}{\partial \...
3
votes
0
answers
329
views
Trace Norm Inequality for the Discrete Fourier Transform
I am having some trouble proving an inequality involving the trace norm or the operator $f{\cal{F}}_Ng$ where $f, g$ are diagonal matrices, f is positive semidefinite and $\cal{F}_N$ is the Discrete ...
3
votes
0
answers
860
views
decreasing rearrangements: why the asymmetry of measure-preserving maps?
Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...
3
votes
0
answers
431
views
Bohr topos and quantization
Bohrification is a natural way to construct a quantum "phase space" (with some nice insights on foundational problems like non-contextuality through Kochen-Specker etc). I was wondering, since we get ...
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, ...
3
votes
0
answers
304
views
Is the fundamental group of a maximal subfactor always $\mathbb{R}_{+}^{*}$?
The fundamental group $\mathcal{F}(N \subset M)$ of a unital inclusion of II$_{1}$ factors $N \subset M$ is defined as : $\mathcal{F}(N \subset M) =\{t >0 \ | \ (N \subset M)^{t} \simeq (N \...
3
votes
0
answers
180
views
Сonvergence of the sum
This is a problem from my exam on functional analysis. I did only trivial case and now I'm just curious about another cases.
Let $T : H \rightarrow H$ is a linear continuous unitary ($T^*=T^{-1}$) ...
3
votes
0
answers
168
views
Deleting "weak homeomorphism" in a Hilbert space
It is well-known that there exists a homeomorphism $h$
from an infinite-dimensional Hilbert space $H$ to $H\setminus\{0\}$.
Does there exist a "weak homeomorphism" $g:H \to H\setminus\{0\}$,
that is, $...