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

learn more… | top users | synonyms (1)

1
vote
0answers
21 views

The regularity of Dirichlet form in Besov space

Let $C_{0}(\mathbb{R}^n)$ denote the set of continuous functions in $\mathbb{R}^n$ with compact support, $C_0^\infty(\mathbb{R}^n)$ denote the set of infinite differentiable functions in ...
4
votes
1answer
143 views

Proof of the Dunford-Pettis theorem

I would like to know where to find a complete proof of the Dunford-Pettis theorem: A sequence $(f_n)_{n\geq 0} \subset L^1$ is uniformly integrable if and only if it is relatively compact for the weak ...
0
votes
1answer
62 views

Behavior of the integral of products of probability densities

Assume $z \in \mathbb{R}^m$ and $x \in \mathbb{R}^n$. Assume we have proper density function $P(z)$ and proper conditional density function $P(x|z)$. We give the definition $$ T(x_1,\ldots,x_n) := ...
1
vote
1answer
82 views

Strong maximum principle for weak solutions

Suppose I have a linear parabolic equation with solutions in the Bochner-Sobolev spaces (eg. $L^2(0,T;H^1) \cap H^1(0,T;H^{-1})$). Is it possible to obtain a strong maximum principle with a proof that ...
3
votes
0answers
51 views

Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
9
votes
1answer
99 views

Completely positive maps-equivalent definition

The most usual definition of the completely positive map (c.p.) between two C*-algebras (say, unital) is the following: $\sigma: A \to B$ should satisfy $\sigma(1)=1$ and for each $n \in \mathbb{N}$ ...
5
votes
1answer
120 views

Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...
2
votes
1answer
84 views

Decay rate of the convolution of two functions

Let $f(x)=e^{-\frac{x^2}{2}}$ ($x\in\mathbb{R}$), and $g\in C^{\infty}(\mathbb{R})$ with $|g(x)|=O(e^{-k|x|^{\gamma}})$ as $|x|\to\infty$, for $k>0$, $\gamma>0$. Let $h=f*g$, the convolution of ...
0
votes
0answers
35 views

Stable analytic manifold under simple action

For an integer $m > 1$, let us define the action $$ f: X_i \to (1+X_i)^{m - 1 } $$ on variables $X_1,\dots,X_N$. Consider the analytic manifold $V(I)$ defined by the ideal $I$ in ...
3
votes
1answer
101 views

Can the boundedness of $A^2$ imply the boundedness of $A$?

Given an operator $A \in \mathcal L(B)$, $B$ being a Banach space, I came across the following question: assume $dom(A)=range(A)$, $dom(A)$ dense in $B$. Under which conditions is it possible to ...
1
vote
0answers
102 views

convergence of $e^{it\Delta}f$

I heard of a conjecture that $e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$ but couldn't find a proper reference.
0
votes
0answers
46 views

Function Related to Jordan Curves

I am looking for a solution to the following problem: given a Jordan curve $c(s) = (x(s),y(s))$ with $\dot x(s)^2+\dot y(s)^2 = 1$ and $c(s+L)=c(s)\,$ an integrable function $g(s): c(s)\mapsto ...
2
votes
0answers
65 views

second smallest eigenvalue Laplacian - submodular set function

Let $G$ be a connected unweighted undirected graph. In addition, let $\lambda_2(L(G))$ be the second smallest eigenvalue of the Laplacian matrix of graph $G$. Is $\lambda_2(L(G))$ a submodular set ...
-5
votes
0answers
59 views

How to compute difference between two mathematical forms? [on hold]

My apology for the unclarity of the previous version. This question focuses on the form———— Is there any way to compute the difference between two forms (or to say, format? I'm Really sorry for my ...
9
votes
0answers
115 views

Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates ...
0
votes
0answers
63 views

A question on $p$-approximation property

We say that a subset $K$ of a Banach space $X$ is relatively $p$-compact($1\leq p<\infty$)if there exists a $p$-summable sequence $(x_{n})_{n=1}^{\infty}$ in $X$ such that $K$ is contained in ...
0
votes
0answers
120 views

Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
0
votes
0answers
54 views

Why does the Fourier transform of bounded domain, e.g., [-1 1], differs from that of complete domain, e.g., real line. [on hold]

Recently, I asked a question about proving the positive semidefiniteness of following kernel function. $$ k(x, x') = 1 - 2|x-x'|$$ When using the Bochner's theorem, showing psd of the kernel ...
2
votes
0answers
84 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definition We define the Zygmund spaces $C^r_{*}$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are allowed to have values in $\mathbb{R}^m$, via working with ...
2
votes
1answer
86 views

How can I prove that the negative biased triangular kernel is positive semidefinite

How can I prove that the following triangular kernel function defined in $[0, 1] \subset R^1$ $k(x, x') = (1 - 2|x-x'|)$ is a positive semidefinite function? It turns out to be psd function when ...
0
votes
0answers
70 views

uniform continuity of a function in ultrametric spaces

Consider $[0,1]$ with the metric $d_1(x,y)=\left\{\begin{array}{cc} 0&x=y,\\ \max\{x,y\}&x\ne y. \end{array}\right.$. Moreover let $(M,d_2)$ be an ultrametric space. Let ...
1
vote
0answers
75 views

Laplacian mapping on various function spaces

I have a question related to a certain elliptic operator on $R^N$ but I think i can clarify my confusion if I just consider the Laplacian $\Delta$ on the unit ball in $R^N$. If $ 1 <p< ...
3
votes
0answers
110 views

Ultracoproducts of C(X)-algebras

Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$. As a C$^*$-algebraist, I ...
2
votes
0answers
65 views

Separating duality for TVS?

What is the modern concept (term) for "separating duality" (dualité séparante in french) in the sense of Bourbaki (TVS Ch II § 6) as explained in the following ? ...
3
votes
1answer
127 views

A example on Fourier tranform of a continous compactly supported function

I am trying to find a continuous compactly supported function $f$ such that the Fourier transform $f^{ft}$ and derivative $(f^{ft})'$ of the $f^{ft}$ decay faster than exponential rates, that is ...
2
votes
1answer
261 views

Operator norm vs spectral radius for positive matrices

I believe the following statement should be true but somehow I don't see an argument: For every integer $d>1$ there exists a constant $C=C(d)>1$ such that whenever $A$ is a $d \times d$ matrix ...
-1
votes
0answers
61 views

Radial Symmetry [closed]

Let $B\subset\mathbf{R}^n$ ($n\geq2)$ the open ball of radius $R$ centred at the origin and $u\in C^2(\overline{B})$. Suppose that $$ v_{ij}=x_i\frac{\partial u}{\partial x_j}-x_j\frac{\partial ...
2
votes
1answer
68 views

Why do rotationally ordered configurations have well defined distributon function?

Let $u=(u_{j})_{j \in \mathbb{Z}}$ where $u_{j}\in \mathbb{R}$ for all $j \in \mathbb{Z}$ be a rotationally ordered configuration i.e. $S_{n,m}u>u$ or $S_{n,m}u<u$ or $S_{n,m}u=u$ where ...
2
votes
3answers
134 views

Estimating the Variance of a Discrete Normal Distribution

Let $f(x; \sigma) = \frac{1}{\sigma\sqrt{2\pi}}\cdot e^{-\frac{x^2}{2\sigma^2}}$ be the probability density function of a normal distribution $\mathcal{N}(0, \sigma^2)$. We consider a discrete normal ...
3
votes
1answer
123 views

Left invertible operators of $B(X,Y)$

Suppose that $X$ and $Y$ are Banach spaces. Is $\{f\in B(X,Y):f\ \text{has a left inverse}\}$ an open subset of $B(X,Y)$?
1
vote
3answers
86 views

Positivity of the top Lyapunov exponent

I have a general question about the Oseledets Multiplicative Ergodic Theorem. In the context of the MET I'd like to know if there is some reasonably general sufficient condition which implies that the ...
3
votes
2answers
122 views

Interpolation between $L_p$ and $B^s_{q,q}$

I am looking for a reference or a direct argument that shows the real interpolation space between $L_p$ and $B^s_{q,q}$ is $B^\alpha_{r,r}$, with the usual conditions on the indices. This result is ...
9
votes
2answers
325 views

Homotopy groups of Fredholm operators

If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that $$ \pi_0(\mathcal{F}) = \mathbb{Z}\, , $$ i.e. the connected ...
-1
votes
0answers
33 views

Power law distribution with support in x=0

Let $f_\epsilon$ be a probability measure with density $f_\epsilon(x)$ depending regularly on a parameter $\epsilon$, such that in the limit $\epsilon \to 0$ its support concentrates at $x=0$, i.e. ...
2
votes
1answer
73 views

Regularity of finite variation kernels in the (intersection) of the semimartingale spaces $H^p$

Suppose you have a continuous semimartingale $S_t=M_t + A_t$ where $A_t$ is the continuous finite variation part which has the form $A_t = \int_0^t b_s \, \mathrm{d} s$, where $\int_0^{\infty} |b_s| ...
5
votes
3answers
261 views

Invertible operator with countable spectrum

Let $H$ be a separable Hilbert space and $A$ is an invertible bounded operator on $H$. Can we approximate $A$ with an invertible operator $B$ such that $sp(B)$ is a countable set? Motivation: ...
1
vote
0answers
56 views

Transferring locally uniformly convex norm by bounded linear operator from one Banach space to another

I'm trying to find a simple proof this theorem Let $Y$ be a locally uniformly convex Banach space and $X$ be a Banach space and let $T$ be a bunded linear operator from $X$ into $Y$ such that for ...
2
votes
1answer
86 views

Fractional Brownian motion via Hilbert space

The Brownian motion has the following (Levy-Ciesielski?) construction via Hilbert space isomorphisms: Let $\{ Z_i \}_{i \in \mathbb{Z}}$ be i.i.d. $N(0,1)$ random variables defined on $(\Omega, ...
2
votes
1answer
133 views

Can't figure out “standard application” of the Garsia-Rodemich-Rumsey Lemma

I'm currently reading the paper http://arxiv.org/abs/0908.2473 and can't figure out what they call a "standard application" of the Garsia-Rodemich-Rumsey lemma (see p.8). Summed up, they have a ...
0
votes
1answer
129 views

Weak solution of a heat equation is zero?

I work on a bounded domain in $\mathbb{R}^n$. Let $u \in H^1(0,T;H^{-1})\cap L^2(0,T;H^1)$ be a solution of the heat equation: $$\langle u', v \rangle + \int \nabla u \nabla v = 0$$ for each test ...
0
votes
0answers
85 views

Relation between modulus of smoothness and reflexivity

Baillon proved that if $X$ is a Banach space with $\rho'_X(0)<\frac{1}{2}$, then $X$ has the fixed point property (by $\rho_X(t)$ we denote the modulus of smoothness). My questions are as ...
7
votes
1answer
257 views

Ultracoproducts and Cartesian products

Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$. As a C$^*$-algebraist, I ...
3
votes
2answers
205 views

Is the ideal of functions vanishing at a set complementable in $C(X)$?

Let $X$ be a compact Hausdorff topological set, and $Y$ be its closed subset. Is the ideal of functions vanishing on $Y$ $$ I=\{f\in C(X):\ \forall y\in Y\ f(y)=0\} $$ complementable (as a closed ...
3
votes
2answers
163 views

How do functions operate in a Sobolev space $H^{s}$?

Let $s>\frac{1}{2};$ and define a Sobolev space as follows: $$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$ Fact: Let $m$ ...
0
votes
0answers
77 views

Reference request: density of $C_c^{\infty}(\mathbb R^d)$ in $L^2(\mathbb R^d,d\rho)$

My question is motivated by an optimal transportation approach to PDE's and gradient flows in metric spaces (see e.g Otto's geometry of dissipative evolution equations: the porous media equation and ...
1
vote
0answers
79 views

Homological properties with discontinuity

I am trying to find information about modeling discontinuous fields over a manifold. In particular, I have a manifold that may change its homology class, for instance I can have a growing circular ...
2
votes
2answers
221 views

A question on unbounded operators

Assume that $H$ is a separable Hilbert space. Is there a polynomial $p(z)\in \mathbb{C}[x]$ with $deg(p)>1$ with the following property?: Every densely defined operator $A:D(A)\to ...
2
votes
1answer
161 views

$R$ is a right multiplier and $R(a)b=a\overset{?}{\implies} A$ is unital

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a ...
1
vote
1answer
117 views

Perturbation theory of eigenvalues - Effects of degeneracy/ multiplicity

In Quantum mechanics Schrödinger's perturbation theory is very important (see Wikipedia) which deals with perturbation of the discrete spectrum of a self-adjoint operator. Where can I find a ...
2
votes
0answers
139 views

Two Definitions of Non-commutative $L^p$ space

Throughout, let $(\mathcal{M},\tau)$ be a von Neumann algebra $\mathcal{M}$, acting on a Hilbert space $H$, with normal semifinite faithful trace $\tau$. In the survey article by Pisier and Xu, the ...