**2**

votes

**1**answer

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

**1**

vote

**1**answer

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

**0**

votes

**0**answers

23 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) := ...

**5**

votes

**1**answer

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

**3**

votes

**0**answers

37 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

**1**answer

84 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}$ ...

**9**

votes

**0**answers

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

**2**

votes

**1**answer

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

**1**

vote

**0**answers

100 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

**0**answers

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

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

**-4**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**answers

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

**2**

votes

**0**answers

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

**0**

votes

**0**answers

53 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

**1**answer

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

**2**

votes

**1**answer

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

**0**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**7**

votes

**2**answers

390 views

### Decomposition of an integral operator into a composition

I've been musing about the following question for a while now. Given an integral operator $G$ defined by
$$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$
Is it possible to decompose this into two separate ...

**2**

votes

**1**answer

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

**2**

votes

**0**answers

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

**1**answer

126 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

**1**answer

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

**9**

votes

**2**answers

324 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

**0**answers

59 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

**3**answers

133 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

**1**answer

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)$?

**7**

votes

**1**answer

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

**1**

vote

**3**answers

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

**2**answers

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

**5**

votes

**3**answers

260 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:
...

**0**

votes

**1**answer

90 views

### Paley-Wiener type theorem for integral functions with compact support

If $f\in L^{1}(\mathbb{R}^n)$, and $f$ has compact support, then how can I show that $\hat{f}$ cannot satisfy $\hat{f}(x)=O(e^{-\epsilon|x|})$ for any $\epsilon>0$?
This is similar in the spirit ...

**-1**

votes

**0**answers

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

**1**

vote

**0**answers

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

**1**answer

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

**0**

votes

**1**answer

107 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**2**

votes

**1**answer

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

**5**

votes

**1**answer

324 views

### Characterizing invertible nonnegative matrices with bounded sums

Almost a year ago, I asked in this question about obtaining a tight bound on the sum of the entries of the inverse of a strictly positive definite matrix. Denis Serre gave a nice counterexample ...

**0**

votes

**1**answer

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

**1**answer

104 views

### both convex and superharmonic function on manifold concave?

M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M ...

**10**

votes

**2**answers

192 views

### Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces

For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...

**2**

votes

**1**answer

160 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

**0**answers

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

**1**

vote

**1**answer

229 views

### A property of groups of operators

Let $X$ be a Banach space. We consider the evolution equation:
$$x'(t)=Ax(t), \ \ \ \ \ \ \ t\in \mathbb{R},$$
where $A$ is a bounded operator.
I know that if $X=\mathbb{R^n}$ and $A$ is a matrix, ...

**0**

votes

**0**answers

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