Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

2
votes
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
3answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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 ...