Skip to main content

All Questions

4,446 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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\|$. ...
Fred Dashiell's user avatar
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 ...
Matthias Ludewig's user avatar
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 ...
DeleMax's user avatar
  • 93
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 ...
Kami sh's user avatar
  • 31
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. ...
Hesam's user avatar
  • 615
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}(...
jamesC's user avatar
  • 65
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 ...
Niek de Kleijn's user avatar
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 ...
Dominic van der Zypen's user avatar
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 ...
Alex's user avatar
  • 103
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 ...
jaco's user avatar
  • 161
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}$...
Ali Taghavi's user avatar
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 ...
MMML's user avatar
  • 107
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 ...
James Dilts's user avatar
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)$...
randallxu's user avatar
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 ...
William of Baskerville's user avatar
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_{\...
Sebastien Palcoux's user avatar
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.
user57563's user avatar
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 ...
Mkl's user avatar
  • 291
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 \...
k3thomps's user avatar
  • 516
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)...
MateAndres's user avatar
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 ...
Willem's user avatar
  • 161
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 ...
user53215's user avatar
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 ...
erz's user avatar
  • 5,529
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!
Vincent Russo's user avatar
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, ...
nielzs's user avatar
  • 31
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'...
Mario's user avatar
  • 215
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 ...
user36931's user avatar
  • 1,331
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}^...
Anonymous's user avatar
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 ...
AlexE's user avatar
  • 2,998
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 ...
Adam Hughes's user avatar
  • 1,049
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)....
user47295's user avatar
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 ...
Alexander Shamov's user avatar
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{...
user avatar
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 ...
Tom LaGatta's user avatar
  • 8,512
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 $\...
Appliqué's user avatar
  • 1,329
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 $-\...
khoefli's user avatar
  • 31
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 ...
user45350's user avatar
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 ...
madison54's user avatar
  • 337
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 ...
Hao Chen's user avatar
  • 2,581
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 ...
Ali Taghavi's user avatar
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 ...
Henrique de Oliveira's user avatar
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 ...
magya_bloom's user avatar
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 \...
Gatz''s user avatar
  • 31
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 ...
John's user avatar
  • 141
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 ...
Mikhail Katz's user avatar
  • 16.6k
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 ...
Issam Ibnouhsein's user avatar
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, ...
Chris_A's user avatar
  • 41
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 \...
Sebastien Palcoux's user avatar
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}$) ...
Fyrwer's user avatar
  • 31
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, $...
Ilnara's user avatar
  • 91

1
32 33
34
35 36
89