# Tagged Questions

**1**

vote

**0**answers

45 views

### question about a genralized Skorokhod topology

Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
...

**3**

votes

**0**answers

82 views

### Convergence in energy of bounded (semi)subharmonic functions

Consider a sequence $(f_n)$ of functions in the flat torus $T^d$ converging Lebesgue-a.e. to a limit function $f$.
Assume that:
1) $|f_n|(x)\leq 1$ for every $n,x$
2) $\Delta f_n\geq -1$ in the ...

**0**

votes

**0**answers

157 views

### What is between super-reflexivity and reflexivity?

would you please tell me if there are properties or examples which are more than reflexivity and less than super-reflexivity?

**1**

vote

**0**answers

64 views

### Semigroups on Banach Lattice

Let $\{Z(t)\}_{t\geq 0}$ be a semigroup of positive operators on a Banach lattice $X$. I want to show that
$$\int_0^1[Z(1-s)+Z(1+s)]fds-f\in X_+,\quad f\in X_+$$
Where $X_+$ denotes the positive ...

**0**

votes

**0**answers

82 views

### ellipsoids have spherical section

I want to prove that "For any $(2k-1)$-dimensional ellipsoid $E$ ,there is a $k$-flat $L$ passing through the center of $E$ such that $ E \cap L$ is a Euclidean ball. I see a proof for it in the book ...

**3**

votes

**0**answers

77 views

### Pointwise a.e. formulation of parabolic PDE, what if null set depends on test function?

Let $u \in L^2(0,T;V)$ with $u_t \in L^2(0,T;V^*)$ be a solution of
$$\langle u_t(t), v \rangle + a(t;u(t), v) = \langle f(t), v \rangle$$
where $f \in L^2(0,T;V^*)$ and we have the usual assumptions ...

**2**

votes

**2**answers

88 views

### First order pde with characteristics [closed]

Consider a first order pde of the type $$u_y+b(x)u_x=0$$ and suppose that the coefficient $b$ is not necessairly continuous (for instance with a jump in some point).
Is it still possible to apply in ...

**1**

vote

**0**answers

50 views

### Reference needed for Hilbert-Schmidt result regarding basis of $V \subset H$

I am seeking a reference that says:
If $V \subset H \subset V^*$ is a Gelfand triple with all spaces Hilbert spaces and if $V \subset H$ is a compact embedding, then there is a basis of $V$ which ...

**0**

votes

**0**answers

114 views

### extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set ...

**2**

votes

**1**answer

92 views

### Characterization of a subset of [0,1] $III$

I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to ...

**0**

votes

**0**answers

57 views

### Showing that a particular function from a locally compact Hausdorff group $ G $ to a $ C^{*} $-algebra $ A $ is Bochner-measurable

Suppose that we have the following data:
A $ C^{*} $-algebra $ A $.
A locally compact Hausdorff group $ G $.
A strongly Borel mapping $ \alpha: G \to \text{Aut}(A) $, the automorphism group of $ A ...

**0**

votes

**0**answers

62 views

### A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this.
For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...

**5**

votes

**0**answers

135 views

### Tannakian formalism for topological Hopf algebras

Tannaka-Krein duality allows, under the appropriate assumptions, to reconstruct a Hopf algebra from its category of modules. This method was found to be powerful for instance in the work of ...

**3**

votes

**0**answers

86 views

### Density of function spaces

Let $\Omega$ be a subset of either $\mathbb{R}^n$ ($n\geq 3$, if it matters) or of a compact manifold. In either case, we'll call the manifold $M$. Let $V_i\subset V_{i+1} \subset \Omega$ be an ...

**6**

votes

**1**answer

376 views

### Is there a generalized Birkhoff ergodic theorem?

Is there a Birkhoff ergodic theorem for two measure preserving transformations $T$ and $S$ where $S\circ T= T \circ S$ so that $\frac{1}{n+1}\frac{1}{m+1}\sum_{i=0}^{n}\sum_{j=0}^{m}f \circ T^{i}\circ ...

**9**

votes

**0**answers

541 views

### Is every continuous function measurable?

This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...

**2**

votes

**0**answers

96 views

### Examples for Markov generators with pure point spectrum

I'm looking at symmetric diffusion Markov generators $L$ with pure point spectrum, i.e. infinitesimal generators of symmetric diffusion Markov semigroups, which are defined on $L^2(\mu)$ where $\mu$ ...

**3**

votes

**1**answer

152 views

### Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb ...

**4**

votes

**1**answer

132 views

### Partial Isometries Satisfying Cuntz-like Relations

I have a situation where I have a family of partial isometries, $S_i$, for $i=0,...,N-1$, on a Hilbert space $\mathcal{H}$ such that the adjoint maps, $S_i^*$ for $i=0,..,N-1$ are also partial ...

**7**

votes

**1**answer

232 views

### Counting norms on an infinite dimensional vector space

It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...

**3**

votes

**1**answer

222 views

### Characterization of a subset of [0,1] $II$

My question follows the previous one
Characterization of a subset of $[0,1]$
But I don't know whether it is correct to ask again with a new title.
Thanks a lot for pointing the mistake and I ...

**2**

votes

**1**answer

110 views

### Differentiability of Nemytskii operator on Sobolev space

I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...

**1**

vote

**0**answers

136 views

### Hilbert triples

I apologize if this is a trivial matter for the analysts out there, but I looked this up in a number of books (e.g., H. Brezis, J. Wloka) and could not find a satisfying discussion, one that would ...

**5**

votes

**1**answer

172 views

### A perturbation question for the intersection of C*-subalgebras

This feels like something I may have asked before (in which case, apologies) and it also might be some kind of "standard counterexample in a book on C* algebras".
Let M be a unital C*-algebra and let ...

**2**

votes

**0**answers

72 views

### $L^p$ estimates for Ornstein-Uhlenbeck: what is known beyond hypercontractivity?

Consider an infinite-dimensional Gaussian random vector $X$, and a positive random variable $f(X) \in L^p, p > 1$. Let $f(X) \sim \sum_n f_n(X)$ be its (formal) chaos expansion. Let $(U_\rho, \rho ...

**1**

vote

**1**answer

170 views

### Characterization of a subset of $[0,1]$

Let $T\subseteq[0,1]$ be a subset containing $1$. Now we know that $T$ satisfies the following property:
For every $t\in [0,1)$, if there exists a decreasing sequence $\{t_n\}_{n\ge 1}\subset T$ such ...

**1**

vote

**2**answers

105 views

### The set of matrices with same spectral radius

I am working on an optimization problem over the set of positive matrices (that is, matrices where all entries are positive numbers) that have the same spectral radius. My main problem is how to ...

**10**

votes

**1**answer

233 views

### Commuting nets for commuting projections

I think this should not be too difficult, but I am not an expert. I did not get an answer on stackexchange.
Let $A$ be a $C$*-algebra and let $p,q\in A^{**}$ be two commuting projections. Then there ...

**0**

votes

**1**answer

139 views

### Existence of bounded $n-$th derivative of the solution of differential equation

This question is the copy from mat.stackexchange.com here. I requestioned here due to the very limited responses there.
Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, ...

**0**

votes

**0**answers

30 views

### Standard Arguments of Calculus of Variations [duplicate]

I am working on calculus of variations in solid mechanics. I did my studies in Civil Eng., so I haven't passed any courses on Math Analysis. I do have problems with main properties of Hilbert and ...

**3**

votes

**1**answer

115 views

### Hardy-type inequality for point boundary

Let $f$ be in $W^{2,p}(\mathbb{R}^n)$ for $n\geq 3$ and $p>n/2$, with $f=0$ at the origin. I want to show that the integral $$\int_{B(0,r)} (f |x|^{-2})^p dV <\infty$$ for some small $r>0$. A ...

**5**

votes

**2**answers

127 views

### Inverse of partial differential operator as a smooth tame map

Tameness for maps is one of the main ingredients for the Nash-Moser inverse function theorem. A linear map $f: X \to Y$ between Fŕechet spaces with fixed seminorms is called tame if we have an ...

**2**

votes

**0**answers

32 views

### The distribution of maximum of fraction Brownian motion over finite time interval

Suppose that $\{B_t^H,\ t\geq 0\}$ is a fractional Brownian motion with Hurst exponent $H$, I wonder if there are explicit expressions for the joint distribution of
$(\sup_{0\leq t\leq ...

**6**

votes

**0**answers

110 views

### Local solvability of nonlinear elliptic boundary value problems

Malgrange proves the following statement regarding local solvability of (determined or underdetermined) nonlinear elliptic systems:
Let $F_i(x,D^\alpha u)=0$ be a nonlinear elliptic system of order ...

**0**

votes

**1**answer

341 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...

**5**

votes

**2**answers

184 views

### Eigenstates of Fourier transformation

Let $\gamma$ be defined on $\mathbb R^n$ by $\gamma (x)=e^{-π x^2}$. With $\mathcal F$ standing for the Fourier transformation defined on the Schwartz space by
$$
(\mathcal F u)(\xi)=\int e^{-2iπ ...

**0**

votes

**1**answer

128 views

### Continuity of Functional Represented by Surface Integral

Let $\Omega \subset \mathbb{R}^n$ be open and bounded and let $S \subset \Omega$ be a hypersurface in $\mathbb{R}^n$. Let further be $C_0(\Omega)$ the space of all continuous functions with compact ...

**1**

vote

**0**answers

87 views

### A linear operator equation (PDE) with non-monotone term

I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple.
There is a linear operator $L:{D}(L) ...

**0**

votes

**1**answer

121 views

### Is the span of those vectors dense in $\ell_2$?

For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} ...

**3**

votes

**0**answers

127 views

### Almost periodic sequence

Say that a real sequence ${(x_k)}_{k \in \mathbb{Z}}$ is almost periodic if the set of all its shifted sequences ${\left\{{(x_k)}_{k+n \in \mathbb{Z}}\right\}}_{n \in \mathbb{Z}}$ is relatively ...

**1**

vote

**1**answer

110 views

### An unconventional definition of the $ C^{*} $-algebraic reduced crossed product

Let $ (A,G,\alpha) $ be a $ C^{*} $-dynamical system, i.e., $ A $ is a $ C^{*} $-algebra, $ G $ is a locally compact Hausdorff group and $ \alpha $ is a strongly continuous action of $ G $ on $ A $ by ...

**0**

votes

**0**answers

88 views

### About the Intersection of the nested sequence of Chebyshev centers of weakly compact convex sets

Let $K_0$ be a weakly compact convex subset of a Banach space $X$. For each $n\in\mathbb{N}$, let $K_n$ be the set of Chebyshev centers of the set $K_{n-1}$. Suppose $K_0$ has a normal structure. Is ...

**0**

votes

**0**answers

50 views

### Integration by parts for multidimensional Lebesgue-Stieltjes Integrals

I am concerned with the following problem:
I am wondering if there exists any sort of integration by parts formula for a multidimensional Lebesgue-Stieltjes integral. In my case the integral is given ...

**3**

votes

**0**answers

77 views

### Operator theory of initial-value ODE problems

The theory of elliptic boundary value problems is usually treated from the perspective of functional analysis, and the theory of operators between Hilbert spaces.
In contrast to that, the theory of ...

**3**

votes

**2**answers

221 views

### Uniqueness of solutions to an ODE system

For each $i$ (up to infinity), let $u_i \in C^1(0,T)$ satisfy
$$\frac{d}{dt}u_i(t) + \sum_{j=1}^\infty b(t;w_j,w_i)u_j(t) = 0$$
$$u_i(0) = u_i(T)$$
where $b(t;\cdot,\cdot)$ is an inner product on some ...

**2**

votes

**1**answer

99 views

### Reference request for proof of Brodskii-Milman theorem “On the center of a convex set”

Can anyone help me to access the paper:
M.S Brodskii and D.P Milman, "On the center of a convex set", Dokl. Akad. Nauk SSSR 59 (1948) 837–840 in Russian?
or to prove the theorem:
If $K$ is a ...

**4**

votes

**2**answers

136 views

### Lecture notes on semi group theory for linear evolution equations

I am reading (or trying to read :)) One parameter semigroups for Linear Evolution equations by Klaus-Jochen Engel and Rainer Nagel. I was wondering if someone was aware of a good set of lecture notes ...

**11**

votes

**3**answers

729 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...

**2**

votes

**1**answer

146 views

### Is a polynomial decay sufficient for a smooth function to be in $\mathcal{F}(L^1)$?

Background: I have a function $g(\omega)\in C^{\infty}(\mathbb{R})$, which vanishes like $O(|\omega|^{-\beta})$ at infinity for some $\beta>0$.
This answer states that functions that decays "too ...

**2**

votes

**1**answer

80 views

### When is $CAC^{-1}$ bounded for $C$ Hilbert-Schmidt?

I came across the following question:
Given a self-adjoint, positive definite Hilbert-Schmidt operator $C$ and a self-adjoint, bounded and positive operator $A$ - both acting on a separable Hilbert ...