**2**

votes

**1**answer

82 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

67 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

256 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

51 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

345 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

975 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

136 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

153 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

41 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

205 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

186 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

49 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

125 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

117 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

182 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

89 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

150 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

45 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

68 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

103 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).
...

**0**

votes

**1**answer

122 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

92 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

115 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

385 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

49 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

38 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

292 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

126 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

100 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

157 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 ...

**0**

votes

**1**answer

131 views

### When can two Cauchy transforms intersect?

Given two polynomials $p$ and $q$ over reals and being guaranteed that both have all roots real I want to know if there is any characterization of the solutions of the equation $\frac{p'}{p} = ...

**2**

votes

**0**answers

39 views

### Dual cone of 'positive' Bochner integrable functions

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...

**4**

votes

**0**answers

111 views

### $H^s$ norm of a solution of a nonlinear Schrödinger equation

I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao.
They study the ...

**4**

votes

**1**answer

131 views

### Loss of derivative of subelliptic operator

Consider the differential operator $P$ on $\mathbb{R}^2$, given by $P = \frac{\partial^2}{\partial x^2} + x^2\frac{\partial^2}{\partial y^2}$. Clearly it is elliptic everywhere except on the $y$-axis. ...

**1**

vote

**1**answer

192 views

### Condition to obtain a not compact embedding

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...

**4**

votes

**1**answer

141 views

### application of factorization theorem

Young's inequlity tells us that $L^{1}(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R)$ with norm inequality
$$\|f\ast g\|_{L^{p}} \leq \|f\|_{L^1}\|g\|_{L^p};$$
and of course this ...

**5**

votes

**1**answer

116 views

### Simultaneous approximation of arbitrary functions in Hölder space and in $L^2(\mu)$ by a smooth function and its derivative

Let $\mu$ be a probability measure on the circle $S^1=\mathbb{R}/\mathbb{Z}$ which is singular with respect to the Lebesgue measure $\lambda$. Consider the functions spaces $L^2(\mu)$ on the one hand, ...

**0**

votes

**0**answers

117 views

### Problem with operator and Fourier transform

I am currently dealing with a problem in functional analysis where I want to show the following.
Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$
if ...

**1**

vote

**1**answer

161 views

### Finite trigonometric polynomial

I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that
$T(x):= \sum_{n \in \mathbb{Z}} ...

**7**

votes

**3**answers

266 views

### Do non-normal states exist in the Solovay model?

Let H be an infinite dimensional Hilbert space. Then there exist non-normal states on B(H) in ZFC (i.e. states that are not represented by a density operator).
Is this also true in the Solovay model ...

**7**

votes

**1**answer

266 views

### understanding of rough path

A rough path is defined as an ordered pair
$ (X, \mathbb X)$, where $X$ is a path mapping from $[0,T]$ to some Banach space $V$
and $\mathbb X:[0,T]^2 \mapsto V^2$ is another mapping for additional ...

**2**

votes

**1**answer

70 views

### Associative convolution on p-adic distribution

Let $\mathcal{D}(\mathbb{Q}_p)$ be the space of the locally constant functions with compact support and let $\mathcal{D}'(\mathbb{Q}_p)$ be the space of distributions: linear functionals on ...

**1**

vote

**0**answers

19 views

### Counting variables to look for invariances/range conditions

A while back, I asked this question on m.se. I wasn't terribly happy with the answer, and when someone asked a very similar question which isn't getting any action, it got me thinking again. Let me ...

**3**

votes

**1**answer

158 views

### A question on the Frechet derivative

Suppose the derivative of a functional is given by
\begin{equation*}
\int_{\Omega}(\vec{v}.\nabla u)|\nabla u|^{p-2} \phi=\int_{\Omega}\nabla.(u\vec{v})|\nabla u|^{p-2} \phi,~\phi\in ...