All Questions
3,600 questions with no upvoted or accepted answers
4
votes
0
answers
382
views
Reference Aubin T.- Espaces de Sobolev sur les varietes Riemanniennes. Bull. Sc. Math. 100, (1976) 149-173
I have been searching without success for the reference:
Aubin T.- Espaces de Sobolev sur les varietes Riemanniennes. Bull. Sc. Math. 100, (1976) 149-173
It is cited in many related works. In ...
- 201
4
votes
0
answers
201
views
For what $C^*$ algebras $A$ do different types of projection equivalence agree?
For example,
For what $C^*$ algebras $A$ is unitary equivalence the same as mvn equivalence for projections.
For what $C^*$ algebras $A$ is unitary equivalence the same as homotopy equivalence for ...
- 183
4
votes
0
answers
263
views
Is there a notion of „flatness” in point-set topology?
In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
- 1,153
4
votes
0
answers
194
views
$L^\infty$ solutions for parabolic Neumann problem (heat equation)
Consider the heat equation on a (smooth) domain in $\mathbb{R}^n$ with homogeneous Neumann BCs:
$$u_t - \Delta u = f$$
$$\partial_\nu u = 0$$
$$u|_{t=0} = u_0$$
where $f \in L^p(0,T;L^r(\Omega))$ and $...
- 307
4
votes
0
answers
127
views
Algebra properties regarding Gevrey spaces: closed under multiplication
In page 24 of the paper Landau Damping: Paraproducts and Gevrey Regularity, the authors claimed an algebra property of Gevrey spaces, the formula (3.14), without giving a proof. So I'm asking for a ...
- 517
4
votes
0
answers
115
views
Delta distributions that are smooth on strata of a singular manifold
This is a mild reformulation of a previous question. Let $R = C^\infty(\mathbb{R}^N)$ and let $I$ be an ideal in $R$ which cuts out an $n$-dimensional "singular $C^\infty$ manifold $X$" in $\...
- 7,952
4
votes
0
answers
194
views
What are the "local degrees of freedom" in the space of smooth functions?
Let $C^k$ be the set of $k$th-order smooth real functions $f:\mathbb{R}\to\mathbb{R}$, and $C^\infty$ the set of smooth real functions. One can specify an $f\in C^k$ by specifying all its derivatives ...
- 49
4
votes
0
answers
197
views
Approximation of a holomorphic function vanishing at a submanifold by polynomials
Suppose $M$ is a complex affine algebraic manifold in ${\mathbb C}^n$ (I mean, a set of common zeroes of a system of polynomials on ${\mathbb C}^n$, which is at the same time a smooth manifold). ...
- 7,426
4
votes
0
answers
109
views
Is the heat semigroup on a manifold the limit of the heat semigroups associated to a compact exhaustion?
Let $M$ be a paracompact Riemannian manifold, and $E \to M$ a Hermitian vector bundle endowed with a Hermitian connection $\nabla$. Write $M$ as an exhaustion $\bigcup _{j \ge 0} U_j$ with relatively ...
- 5,407
4
votes
0
answers
210
views
A more general version of the Fejér-Riesz theorem
A classical result, known as the Fejér-Riesz theorem, states that any Laurent polynomial $p(z)=\sum_{|k|\leq N} c_kz^k$
(the coefficients $c_k$ are complex numbers) which is nonnegative on the torus $\...
4
votes
0
answers
111
views
What is the native Hilbert space associated with the kernel $\frac{\sum \min{(x_i,y_i)}}{\sum \max{(x_i,y_i)}}$?
In this answer on MSE it is shown that the function
$$ K:(\mathbb{R}^{>0})^n\times (\mathbb{R}^{>0})^n\rightarrow\mathbb{R}\,\quad K(x,y)=\frac{\sum_{i=1}^n\min{(x_i,y_i)}}{\sum_{i=1}^n\max{(x_i,...
- 316
4
votes
0
answers
202
views
Double commutant of compact operators
So my question is straightforward. Let $\mathfrak{X}$ be a (complex, if necessary) Banach space and $K\colon\mathfrak{X}\to\mathfrak{X}$ a nonzero compact operator. Denote by $\mathcal{C}(K)$ the ...
- 1,453
4
votes
0
answers
104
views
Which linear forms are linear combinations of point evaluations?
Let $f_1,\ldots,f_r\in\mathbb{C}[x,y]$ and consider the subalgebras $A_1,\ldots,A_r$ of $\mathbb{C}[x,y]$ that are generated by $f_1,\ldots,f_r$, i.e., $A_i=\mathbb{C}[f_i]$. Using some dimension ...
- 3,031
4
votes
0
answers
149
views
Cyclic vectors for the translation operator
Let $b\in \mathbb{R}\neq 0$, and consider the translation operators:
$$
\begin{align}
T_b:C(\mathbb{R}) & \rightarrow C(\mathbb{R})\\
f &\mapsto f(\cdot + b).
\end{align}
$$
*Are there known ...
- 5,405
4
votes
0
answers
143
views
If theorem valid for compactly supported distribution then is it also valid for tempered distribution?
I have seen many theorem which Author wanted to prove for tempered distribution, but without saying anything proves for compactly supported distribution.
For instance,
Theorem: Any $A \in \Psi^{m}$ ...
- 309
4
votes
0
answers
145
views
Hamel basis with all coordinate functionals discontinuous
If $X$ is an infinite dimensional (separable) Banach space, can one find a Hamel basis $(x_\alpha)_{\alpha\in\Lambda}$ such that all coordinate functionals $x_\alpha^*(x_\beta)=\delta_{\alpha,\beta}$ ...
- 1,361
4
votes
0
answers
146
views
Fourier transform without characters (Eigenfunctions of an operator)
Let's consider a very simple problem in quantum mechanics:
We have, in $\mathbb R,$ a potential barrier of the form
$$
V(x) = V_0 \mathbf 1_{[-a,a]}(x),
$$
where $\mathbf 1_{[-a,a]}$ denotes the ...
- 1,755
4
votes
0
answers
310
views
Sobolev spaces and spectral theorem
Consider a generalised harmonic oscillator of the form
$$
A(x,D_x) = \langle x \rangle (1-\Delta_x)\langle x \rangle, \quad x \in \mathbb{R}^n,
$$
where $\langle x \rangle = (1+|x|^2)^{1/2}.$ The ...
4
votes
0
answers
123
views
Restricting a function defined on an étale groupoid to an isotropy group
Let $\mathcal G$ be an étale groupoid, let $x$ be a point in the unit space of $\mathcal G$, and let $\mathcal G(x)$
be the isotropy group of $x$.
If $f$ is a continuous, complex valued, compactly ...
- 2,263
4
votes
0
answers
548
views
Understanding vector-valued analytic functions vs holomorphic functional calculus
Let $A$ be a unital Banach algebra over complex numbers and call elements of $A$ "vectors". Let $\Omega$ be an open set in $\mathbb{C}$ and $H(\Omega)$ the space of analytic functions on $\...
- 83
4
votes
0
answers
140
views
A convex function is "usually" subdifferentiable
Let $X$ be a locally convex topological vector space, and let $f:X\to\mathbb R\cup\{\infty\}$ be a proper, convex, lower semicontinuous function, whose effective domain $D:=f^{-1}(\mathbb R)$ is ...
- 537
4
votes
0
answers
231
views
Spectral theorem for unbounded operators
Part of the Spectral theorem for unbounded operators states that if $A$ is a self adjoint unbounded operator and $B$ is a bounded operator such that $BA$ is contained in $AB$, then $B$ commutes with ...
- 771
4
votes
0
answers
95
views
When the Jacobian of unstable measure converges
Let $T:X \to X$ be a hyperbolic map on the compact metric space $X$. Hyperbolicity means that $T$ has local stable and unstable sets with uniform exponential bounds, which satisfy a local product ...
- 1,043
4
votes
0
answers
65
views
A standard name of a strongly extremal point of a convex set
I need to name somehow points $x$ of a bounded convex set $C$ in a Banach space $X$ such that the set $$\{x^*\in X^*:x^*(x)=\max x^*[C]\}$$ of support functionals at $x$ has non-empty interior in the ...
- 41.9k
4
votes
0
answers
147
views
Continuous extension preserving modulus of continuity
Let $X$ be a (non-empty) compact subset of $D(0,M):=\left\{x\in \mathbb{R}^n:\, \|x\|\leq M\right\}$, and let $f:X\rightarrow Y$ be uniformly continuous; for some metric space $Y$. Are there any ...
4
votes
0
answers
143
views
Sobolev space of maps between manifolds with boundary
Let $(M,g)$ and $(N,h)$ be compact Riemannian manifolds with non-empty smooth boundary.
If we consider the Sobolev space $W^{1,p}(M,N)$, is there a reference
on how to model this as a manifold?
If ...
- 3,423
4
votes
0
answers
159
views
Is there a name for this geometric property of metric spaces?
My research has lead me to metric spaces $(M, \rho)$ which have the following geometric property:
Suppose $x, y \in M$ and $r, s > 0$ such that
$(x, r) \neq (y, s)$,
$B[y; s] \subseteq B[x; r]$,
$...
- 191
4
votes
0
answers
176
views
If $u \in W^{\alpha,p}(0,T;X)$ for $\alpha \in (0,1)$, then $f(u) \in W^{\alpha,q}(0,T;Y)$ for some good $f:X \to Y$
Let $u \in W^{\alpha,p}(0,T;X)$ for some reflexive Banach space $X$ (you can also take a Hilbert space if it helps) for $\alpha \in (0,1)$ and $p \geq 2$. I am fine with both the Sobolev-Slobodeckij ...
- 51
4
votes
0
answers
205
views
Harmonic functions in upper half plane
Let $\mathbb H^+$ denote the upper half plane in $\mathbb R^2$. Consider the following equation
\begin{equation}\label{pf0}
\begin{aligned}
\begin{cases}
\Delta u=0\,\quad &\text{on $\mathbb H^+$},...
- 4,143
4
votes
0
answers
146
views
Poisson summation formula for infinite dimensional spaces
Let $M$ be an orientable, compact smooth manifold with a metric $g$ and $H^{-1}(M)$ be the dual space of $$H^{1}(M)=\{f:\int |f|^2+(\nabla f)^2 d\mu<\infty\}$$
I know it is well known that (see ...
- 6,259
4
votes
0
answers
179
views
Condition on kernel convolution operator
I am studying O'Neil's convolution inequality. Let $\Phi_1$ and $\Phi_2$ be $N$-functions, with
$$
\Phi_i(2t)\approx \Phi_i(t), \quad i=1,2
$$ with $t\gg 1$ and let $k \in M_+(\mathbf R^n)$ is the ...
- 101
4
votes
0
answers
139
views
Does anyone know if it's possible to construct Moduli space of J holomorphic curves using Holder spaces?
let Y be a contact (3) manifold and X be its symplectization. let's say the Reeb dynamics is at least Morse Bott. let $u: \Sigma \rightarrow X$ be a $J$ holomorphic curve. I know the usual model for a ...
- 113
4
votes
0
answers
160
views
Can we show equivalence of two distributions based on their statistics?
Let $p,q$ be two distributions on $\mathbb{R}^d$. Let $f:\mathbb{R}^d\times\mathbb{R}^d\rightarrow\mathbb{R}$. Under what conditions does $\mathbb{E}_{x\sim p}f(x,z)=\mathbb{E}_{x\sim q}f(x,z)\ \...
- 57
4
votes
0
answers
254
views
Inflating the double dual of a C*-algebra (matrix algebra of double dual)
in this post I would like to discuss the fact that If $A$ is a $C^*$-algebra, then $M_n(A^{**})\cong M_n(A)^{**}$, as mentioned in Brown and Ozawa. I can't really see it. Actually, it is enough for me ...
- 267
4
votes
0
answers
444
views
Smoothness and decay correspondence for Laplace transform
For the Fourier transform, there are various theorems formalizing a correspondence between the smoothness of a function and the rate of decay of its Fourier transform. For example, if a function is $n$...
- 5,827
4
votes
0
answers
252
views
Can this function be minimized?
Let $X$ be a locally convex TVS, and let $A$ and $B$ be convex and compact subsets of $X$ with $A \subset B$.
Let $f: A \times B \to [0,\infty]$ have the following properties:
(1) For all $b \in B$, $...
- 869
4
votes
0
answers
141
views
What is the completion of $L^\infty$ in the dual of BV?
Every $f \in L^\infty([0,1])$ induces a continuous linear functional on BV via $g \mapsto \int f g \mathrm{d}x$. I believe $L^\infty([0,1])$ is also separable in BV$^\ast$, while BV$^\ast$ is not ...
- 403
4
votes
0
answers
146
views
When does an operator from $\ell_1$ to itself factor through $\ell_p$?
I would like to know whether a given operator from $\ell_1$ to itself, given by a matrix $A$, factors through $\ell_p$, for $p>1$.Does anyone know any references/results on this topic? I am ...
- 53
4
votes
0
answers
75
views
What are the complemented subspaces of $(\bigoplus\ell_q^n)_p$?
Bourgain/Casazza/Lindenstrauss/Tzafriri proved in their unconditional basis UTAP book (1985) that $\ell_1$ is the only nontrivial complemented subspace of $(\bigoplus\ell_2^n)_1$, and hence by duality ...
- 1,591
4
votes
0
answers
298
views
Frêchet differentiability of the composition on a suitable Banach space
Let $E$ be a real Banach space included in the space of functions $C^1$ of $\mathbb R\to \mathbb R $ and and $T:E\to E$ defined by $T(f)=f\circ f$. I am looking for an example of space E such that T ...
- 1,503
4
votes
0
answers
139
views
Smooth dependence of solution to elliptic pde depending on parameter
I have a question in mind but let me generalize it slightly.
Suppose I am looking at some pde like
$$-\Delta u + t u = f(u)$$ in $B_1$ (here $u=u(x)$) with $u=0$ on $ \partial B_1$ where $B_1$ is ...
- 1,385
4
votes
0
answers
117
views
If $f:U_1\to\mathcal L^p(\mu;E_2)$ is Fréchet differentiable, can we say anything about the Fréchet differentiability of $u\mapsto f(u)(\omega)$?
Let $(\Omega,\mathcal A,\mu)$ be a $\sigma$-finite measure space, $p\ge1$, $E_i$ be a $\mathbb R$-Banach space, $U_1\subseteq E_1$ be open and $f:U_1\to L$ be Fréchet differentiable at $x\in U_1$, ...
- 167
4
votes
0
answers
81
views
The least distance of $f\in\ell_\infty(K,X)$ to $C_b(K,X)$
Let $K$ be a paracompact space and consider a bounded function $f:K\to\mathbb R$ not necessarily continuous, that is, $f\in\ell_\infty(K,\mathbb R)$. It's a well-known fact that the least distance of $...
- 563
4
votes
1
answer
800
views
Bound the operator norm of the Fréchet derivative of a Lipschitz function in this setting
I want to find a bound for the operator norm of the Fréchet derivative of a Lipschitz continuous function in the following setting:
Let
$E$ be a $\mathbb R$-Banach space;
$v:E\to[1,\infty)$ be ...
- 167
4
votes
0
answers
139
views
A good reference for Bochner spaces
I am looking for some references on Bochner spaces containing basic stuff such as measurability, convergence and $L^p$ theory. I already have the Analysis in Banach Spaces: Volume I book which covers ...
- 597
4
votes
0
answers
109
views
Characterization of "PSD-Squared" Matrices
$\DeclareMathOperator\DNN{DNN}\DeclareMathOperator\CP{CP}$This question can be thought of as an offshoot of this MO question from a few months ago. Let $M_n(\mathbb{C})$ denote the set of $n \times n$ ...
- 6,351
4
votes
0
answers
97
views
Smoothing continuous functions in metric space
Let $(X,\rho)$ be a metric space.
For any $f:X\to\mathbb{R}$, define the local Lipschitz constant of $f$ at $x$ by
$$ \Lambda_f(x) := \sup_{x'\in X\setminus\{x\}} \frac{|f(x)-f(x')|}{\rho(x,x,')}
.
$$...
- 6,541
4
votes
0
answers
220
views
improved regularization for $\lambda$-convex gradient flows
It is well-known that gradient-flows of convex functionals are "parabolic" in some vague sense, and accordingly solutions tend to regularize instataneously. In the abstract context of gradient flows ...
- 5,380
4
votes
0
answers
213
views
Classification of Euclidean-invariant measures?
Is there a classification of measures on $\mathbb R^n$ which are invariant under (Euclidean) isometries? Hausdorff measures of all kinds are examples -- could that be all of them? More precisely,
By ...
- 64k
4
votes
0
answers
119
views
Relationship between canonical commutation relations and projective representations?
$\DeclareMathOperator\CCR{CCR}\DeclareMathOperator\Im{Im}\DeclareMathOperator\PU{PU}$Let $V$ be a real vector space equipped with an antisymmetric bilinear form $\omega$. Recall that there is a $C^\...
- 64k