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

learn more… | top users | synonyms (1)

8
votes
1answer
183 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
40 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
117 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
77 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
111 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
174 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
86 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
95 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
144 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
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
0answers
82 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
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
1answer
92 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
1answer
107 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
87 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
112 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 ...
14
votes
3answers
368 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
48 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
35 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
283 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
118 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
92 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
155 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
1answer
126 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
0answers
38 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
0answers
104 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
1answer
125 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
1answer
175 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
1answer
128 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
1answer
113 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
0answers
111 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
1answer
150 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
3answers
262 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
1answer
246 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
0answers
39 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}'$ be the space of distributions: linear functionals on $\mathcal{D}$. In the ...
1
vote
0answers
18 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
1answer
155 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 ...
0
votes
0answers
40 views

Preimage of singular points of smooth map between vector space and $SU(n)$

(Moved from Math SE as no answer was forthcomming: http://math.stackexchange.com/q/1294521/161684) Given a smooth ($C^{\infty}$) map $\phi: V \rightarrow SU(n)$ (which is taken to be surjective) ...
0
votes
1answer
71 views

solution uniqueness of non-linear Fredholm equations

the equation is $F(x)=G(\int k(x,y)f(y)dy)$ $(*)$ where $f(x)=dF(x)/dx$ is the unknown and it's required to be non-negative. With integral by parts we'll have the form of a non-linear Fredholm ...
0
votes
1answer
102 views

Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all: Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...
3
votes
2answers
175 views

$\mathcal S'(\mathbb R^d)$ is separable [closed]

I Think the statement is true, but I struggle to find a reference for the fact that the space of tempered distributions equipped with the weak-* topology is separable. Thank you for your help!
5
votes
1answer
98 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
2
votes
0answers
61 views

Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...
0
votes
0answers
39 views

interpolation between Bochner spaces

Is there a reference for the interpolation result stating the existence of an embedding \begin{equation} L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow ...
1
vote
0answers
57 views

Related to derivative of Modified Bessel I function wrt the order

I recently met some problems related to the modified Bessel I funtions. Let $I(\nu,x):=I_\nu(x)$, and $I'_\nu(\nu,x):=\dfrac{\partial}{\partial \nu}I(\nu,x)$. Using maple, it seems that ...
2
votes
0answers
68 views

Resolvent estimate of hyperbolic Laplacian [closed]

Consider the Laplacian $-\Delta$ on the hyperbolic space $\mathbb{H}^n$. For $\lambda \in \mathbb{C} \setminus [0, \infty)$, do we have resolvent estimates of the form $$\Vert (-\Delta - \lambda ...
0
votes
0answers
46 views

Completing Karlin's proof of variation diminishing transformation theorem

In S Karlin's book total positivity there's a theorem that says if $K(x,y)$ is $TP_r$ (totally positive with degree $r$) and the sign change count of function $h$, $S(h) = n\leq r-1$, then ...
1
vote
1answer
89 views

Is the endpoint map smooth

Given $a,b \in \mathfrak{su}(n)$ and (with $U_0 = I$ taken) the following ODE: $\frac{d U_t}{dt} = (a + w(t)b)U_t$ consider the "fixed time" endpoint map $V_T: L^2([0,T]) \rightarrow SU(n)$ for ...
0
votes
0answers
73 views

Alternating projections and trace preserving maps

Let $\{\Pi_i\}_{i=1}^N$, $\Pi_i\in \mathbb{C}^{n\times n}$ be a set of orthogonal projections. By the Von Neumann alternating projection theorem, it holds that $$ ...