**2**

votes

**1**answer

87 views

### Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...

**0**

votes

**1**answer

102 views

### How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?

Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary.
My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that
...

**3**

votes

**0**answers

61 views

### An estimate for the maximal C* norm in the group algebra of a free group

Let F--->G be an epimorphism of groups, F being finitely generated and free. Let H be its kernel. Consider a lifting i: G--->F of the epimorphism. Every element of C[G] is of the form
a=sum a(g) i(g) ...

**1**

vote

**0**answers

66 views

### When does analytic in the operator norm imply analytic in the trace class norm?

This is a crosspost from MSE. It's been up there for a few weeks now. A 200 rep bounty yielded no results (or even comments). I'm hoping someone here has some helpful ideas. See this post for the ...

**2**

votes

**1**answer

80 views

### Domain of fractional powers of operators

Let $A$ and $B$ be non-negative ($(A x, x) \geq 0$ for all $x \in \mathcal{D}(A)$, similarly for $B$) densely defined self-adjoint operators on a Hilbert space $H$. Then the spectral theorem defines ...

**0**

votes

**1**answer

108 views

### Uniform convergence of Fourier (orthonormal) expansion of series

Let $u \in L^2(M)$ on some closed Riemannian manifold. We can write
$$u = \sum_{k \geq 0}(u,\varphi_k)\varphi_k$$
if $\varphi_k$ is some o.n basis of $L^2$ with is orthogonal in $H^1$ (eg. ...

**1**

vote

**0**answers

27 views

### Condition for maximizer of convex combination to be expansion mapping

I have $\Pi_n:\mathbb R^{n+1}\rightarrow \mathbb R$ and $F_n:\mathbb R^2\rightarrow \mathbb R$ with $$F_n(x,a)=\Pi_n(x,...,x,a)$$
$$f_n(x)=\operatorname{ArgMax}_{a\in\mathbb R}\{F_n(x,a)\} $$
such ...

**1**

vote

**1**answer

166 views

### Spherical harmonics and ellipticity of the Laplacian

Let us consider the sphere $S^n$ and the Laplacian $-\Delta$ on it. Let $L^2(S^n) = \bigoplus_k V_k$, where $V_k$ represents the eigenspace of the Laplacian with eigenvalue $k(k + n - 1)$. We know ...

**1**

vote

**0**answers

43 views

### Parametric Sard-Smale theorem - when is the generic set open?

I am learning Morse/Floer Theory and in my work on my master's thesis I want to apply the parametric Sard-Smale theorem. I.e. I consider a Banach bundle $\mathcal{L} \to \mathcal{M}\times \mathcal{G}$ ...

**1**

vote

**0**answers

31 views

### Equivalence of fractional power of second-order positive differential operator as pseudodifferential operator and a fractional definition

Let $A$ be a second-order differential operator on a closed manifold $M$ satisfying
$$(Au,u) \geq 0$$
with $A=-\Delta$ the Laplace-Beltrami the model case. One can define for $s \in (0,1)$ the ...

**-1**

votes

**1**answer

65 views

### Infinitesimal generator is bounded [closed]

Consider a strongly continuous semigroup of bounded linear operators $S(t):X\to X$. The infinitesimal generator of $S(t)$ is the linear operator $A:D(A)\subseteq X \to X$ defined by
...

**3**

votes

**1**answer

87 views

### Generalization of maximum principle to other norms

Consider the Laplace equation $\Delta u=0$ in $\Omega \subset \mathbb{R}^d$ with Dirichlet boundary conditions, i.e. $u=g$ on $\delta \Omega$. By the maximum principle we know that the solution $u$ ...

**3**

votes

**1**answer

131 views

### questions about the proof of the theorem of completely positive order zero maps

I hope my question is ok for mathoverflow. I first asked on math.stackexchange but received no answer and then delated it.
I want to understand the proof of the theorem (which you can find in the ...

**2**

votes

**0**answers

115 views

### Complex sum of squares of vector fields (hypoelliptic operators)

Consider a compact $M$ of dimension $n$. Consider real smooth vector fields $X_0, X_1, X_2,..., X_n$ on $M$ and consider the differential operator $\mathcal{L}_1 = \sum_{i = 1}^n X_i^2 + X_0.$
Now, by ...

**2**

votes

**1**answer

96 views

### Besov and Triebel-Lizorkin spaces

Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$,
$$
1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad ...

**3**

votes

**0**answers

69 views

### Chain rule for weakly differentiable functions

Given are $f\in L^1(\mathbb R^n)$, $f>0$, such that $\log f\in L^1_{\mathrm{loc}}(\mathbb R^n)$ and $\nabla \log f = g$ in the sense of distributions, with $g\in L^1_{\mathrm{loc}}(\mathbb R^n)\cap ...

**1**

vote

**0**answers

38 views

### pettis integral

Maybe this is rather a refernce question on Pettis integrals. Some naive questions arise:
1) Assume that $F$ is Pettis-integrable on $\Omega$ and that $\omega \subset \Omega$ is measurable. Is $f$ ...

**5**

votes

**1**answer

260 views

### Is the unitary group of a pre Hilbert space contractible?

I already posted my question on mathstackexchange
For a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for ...

**3**

votes

**0**answers

52 views

### Dilation of positive operators into martingales

In Rota's paper (An Alternierende Verfahren for General Positive Operators), Theorem 2 says that: Let $P$ be a doubly stochastic operator which is selfadjoint in $L^2 (S, \Sigma, \mu)$. Then there is ...

**9**

votes

**2**answers

349 views

### Do locally convex topological vector spaces embed into diffeological spaces?

The nLab casually remarks that locally convex tvs embed into diffeological spaces by (discussion around) a corollary in Kriegl and Michor, namely 3.14, but this deals with Boman's theorem and results ...

**15**

votes

**1**answer

988 views

### The list of problems for Grothendieck's thesis

Is the list of open problems which were given by Dieudonne and Schwartz to Grothendieck for his thesis published somewhere? I know a quotation of Dieudonne that the problems concerned duality theory ...

**0**

votes

**1**answer

137 views

### Sobolev type embedding

Consider a compact manifold $M$ and a point $q \in M$. Let us say that
that the following inequality holds:
$$
\Vert \varphi u\Vert_{L^p} \leq C\Vert \varphi u\Vert_{H^1},$$ where $\varphi \in ...

**9**

votes

**0**answers

161 views

### Subspaces and quotients in Banach space theory

In Banach space theory (closed) subspaces and quotient seem to play a symmetric role. However, since the behavior of subspaces is more intuitive, subspaces appear more frequently. E.g., the theory of ...

**2**

votes

**1**answer

146 views

### Elliptic regularity of second order pseudos

Let $M$ be a compact manifold. Choose a point $q \in M$. Let $P$ be a second order positive self-adjoint pseudodifferential operator such that $\text{Spec}(P) \subset (0, \infty)$. Also, we know that ...

**0**

votes

**0**answers

42 views

### Is the following definition of a functional derivative natural?

if $\delta S = \int \sqrt g F[\phi] \delta \phi$
Then is it natural to define the functional derivative as follows,
$\frac{\delta S}{\delta \phi} = F[\phi]$.
In particular does this definition ...

**4**

votes

**2**answers

212 views

### Is the space of signed finite measures on a compact set $M([0,1])$ a sequential space?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**8**

votes

**1**answer

192 views

### Is the Jordan decomposition of a self-adjoint functional constructive?

Let $A$ be an abstract C*-algebra, and let $\varphi\colon A \rightarrow \mathbb C$ be a bounded linear function. Assuming the axiom of choice, there exist unique positive bounded linear functions ...

**0**

votes

**0**answers

54 views

### Maximizing Expected Utility

I am currently trying to solve a maximization problem given by
$\max_{f(x)} \int_0^1 \int_\mathbb{R} (c-y\cdot f(x)-d\cdot (x+f(x)-b)^2) \ h(x) \ dx \ dy$.
Or in other words, I have a utility ...

**5**

votes

**1**answer

129 views

### How are the infinity norm of Fourier transforms of sign vectors distributed?

This is a follow up to an earlier resolved question. Define the $n$-dimensional discrete Fourier transform via the matrix
$$
D_{s,t} := \omega^{st},
$$
where $\omega=\exp(-2\pi i/n)$. Notice that $D$ ...

**5**

votes

**0**answers

79 views

### Real interpolation space between the Wiener algebra and $L^2$

The Wiener algebra $W_n$ is the image by the Fourier transform of $L^1(\mathbb R^n)$. What is the (complex) interpolation space between $W_n$ and $L^2(\mathbb R^n)$? It is probably not true that for ...

**1**

vote

**1**answer

119 views

### Row-stochasticity of the Jacobian matrix of a stationary distribution

Let $P_{\mathbf{p}}$ be a $n \times n$ row-stochastic matrix whose entries are a function of a probability vector $\mathbf{p} \in \mathbf{R}_{> 0}^n$, $\sum_i p_i = 1$ and define the following ...

**2**

votes

**1**answer

185 views

### $BMO$-property via a John-Nirenberg type estimate?

Let $\Omega \subset \mathbb R^d, d\ge 2$, be bounded and denote a ball in $\mathbb R^d$ by $B$. Denote also
$$
f_B:= \frac1{|B|}\int_B f \, dx.
$$
Suppose $f \in L_{\rm loc}^p(\Omega)$ for all ...

**1**

vote

**0**answers

90 views

### Vector valued Sobolev spaces

My question is in reference to this question previously asked here. As asked there, consider a function $f \in H^s_x(L^2_y) \cap L^2_x(H^s_y)$. In the notation of Lions and Magenes (Chapter 4, Vol 2), ...

**2**

votes

**0**answers

100 views

### Normed space that is sigma-totally-bounded but is not sigma-compact

Q1: Is there a separable normed space that is not sigma-compact, but is a countable union of
totally bounded closed subsets?
A test case is the space $C^1(I)$ with the $C^0$ norm where ...

**4**

votes

**0**answers

153 views

### Evaluate a multiple integral

I want to compute this integral and I would appreciate any help: $N\geq 1$ is fixed.
$$I_N=\int_{0\le r_n\le r_{n-1}\le\cdots\le r_1} e^{-(r_1^2+\cdots+r_n^2)} \prod_{i<j} \sinh(r_i-r_j) ...

**1**

vote

**0**answers

46 views

### Normalized tight frame that is not orthonormal

Does anybody know an example of a normalized tight frame (wavelet frame) that is not an orthonormal frame of $L^2( \mathbb{R})$?
So in other words $\{\psi_{j,k}(x):=2^{j/2}\,\psi(2^j\,x-k)\}_{j,k \in ...

**1**

vote

**0**answers

86 views

### Dose any infinite dimensional subspace contain the range of some one to one bounded linear operator? [closed]

Let M be a dense infinite dimensional subspace in a Hilbert space H. Is there some bounded linear one-to-one operator T on H such that Ran(T) $\subseteq$ M?

**1**

vote

**1**answer

71 views

### On the domain of functionals in measure with singular kernels

this post is concerned with functionals defined in measures. Consider the following functional
$$\mathcal{W}[\mu]=-\int_{\mathbb{R}^2}{\log\vert x-y\vert\ d\mu(x)d\mu(y)},$$
were we define ...

**2**

votes

**1**answer

112 views

### Construct smooth functions with prescribed derivatives

To be specific, suppose we are given a sequence of smooth functions $\{f_k\}_{k\geq 0}$ on flat torus $\mathbf{T}^2$(you may think of it as doubly periodic functions on $\mathbf{R}^2$ and smooth).
...

**1**

vote

**1**answer

142 views

### Is there any way to compare between diagonals of a resolvent and a Cauchy transform?

Say $A$ is a symmetric matrix of $n$ dimensions. Then let the ``resolvent" of $A$ be the matrix valued function $R_A(z) = \frac{1}{z-A}$ and its Cauchy transform be the real valued function $C_A(z) = ...

**1**

vote

**1**answer

96 views

### Norm equivalent to Sobolev norm? [closed]

On the hyperbolic space $\mathbb{H}^n$, it is known that the spectrum of the Laplacian satisfies $\text{Spec}(-\Delta) \subset [\frac{(n - 1)^2}{4}, \infty)$. Consider the operator $P = -\Delta + a$, ...

**0**

votes

**2**answers

121 views

### Continuity of an integral

Let $f \in L^1(\Omega)$, where $\Omega$ is a bounded set in $\mathbb{R}^n$
Let $Z = (z_1,z_2,\dots,z_k)$ denote a k-tuple where each $z_i \in \Omega$
Consider $$F(Z) = \int_\Omega f(y)\min_{1\leq i ...

**15**

votes

**3**answers

395 views

### An inequality for two independent identically distributed random vectors in a normed space

Suppose that $X$ and $Y$ are independent identically distributed random vectors in a separable Banach space $B$. Does it always follow that $E\|X-Y\|\le E\|X+Y\|$?
Some background information on ...

**1**

vote

**1**answer

226 views

### The existence of differential operator of the form $AB=0$

We define $\mathcal A$ is a differential operator of order $n$ with variable coefficients if
$$ \mathcal A:=\sum_{|\alpha|\leq n}A_\alpha (x) D^\alpha $$
where $\alpha$ is an muti-index and ...

**6**

votes

**0**answers

51 views

### Kolmogorov superposition representation of Lipschitz functions

Kolmogorov's superposition theorem states that
if $f:[0,1]^n \to \mathbb{R}$ is an arbitrary continuous function, then it has the representation
\begin{align}
f(x) = \sum_{q=0}^{2n} \Phi_q ...

**0**

votes

**0**answers

42 views

### convex function with distributional Hessian $D^2 f \leqslant \lambda$, $\lambda$-concave?

Let $f:R^n \to R$ be convex (may not $C^1$), $$[D^2f]=[D^2f]_{ac}+[D^2f]_s=[h_{ij}] L^n+[D^2f]_s$$ is the Lebesgue decomposition of the Hessian matrix. Where $[h_{ij}]$ is the density w.r.t the ...

**2**

votes

**2**answers

298 views

### Can one estimate the distribution of eigenvalues of a matrix by its Cauchy/Stieltje transform?

Given a real symmetric $n$ dimensional matrix $A$, with eigenvalues $\lambda_i$ I am defining its Cauchy transform as the function, $f_A(z) = \sum_i \frac{1}{z-\lambda_i}\,$
Is there any information ...

**2**

votes

**1**answer

132 views

### Is there some quantitative version of interlacing of eigenvalues of a matrix under rank-1 update?

Given a real symmetric matrix $A$ and a vector $v$ of the same dimension we know that the eigenvalues of $A + vv^T$ are left interlaced by the eigenvalues of $A$.
But do we have any quantitative ...

**3**

votes

**1**answer

106 views

### Topologies on spaces of distributions and test functions

Let $X$ be an open subset of $\mathbb{R}^n$. Following the notation of Schwartz, we denote $\mathcal{D}$ the space of compactly supported complex-valued smooth functions on $X$ equipped with the ...

**3**

votes

**0**answers

160 views

### How can I calculate the adjoint of the wave operator $\square_{g}$ in $H^{k}$?

I have a three part question, which I could only received an answer for the first part here.
The Laplace-Beltrami operator is an operator which is the typical example of a self-adjoint operator in ...