**0**

votes

**0**answers

3 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 book "lectures on ...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

22 views

### First order pde with characteristics

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

41 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

101 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

79 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

36 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

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

**4**

votes

**0**answers

116 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

79 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

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

**7**

votes

**0**answers

187 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

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

**-2**

votes

**0**answers

60 views

### How to plot 2-D and 3-D Joint numerical range of real symmetric matrices in mathematica? [closed]

I know this question this doesn't belong here. However, I am not getting a satisfactory reply from the mathematica forum. Consider $2\times 2$ real symmetric matrices $\mathbf{A}_1$ and ...

**3**

votes

**1**answer

137 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

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

**0**

votes

**0**answers

110 views

### Is $Rank(A)=Rank(A^{T})$ where $A$ has inifinite rows and columns and its given that $A$ has finite rank [closed]

Is $Rank(A)=Rank(A^{T})$ where $A$ has inifinite rows and columns and its given that $A$ has finite rank.
Is it a sub-case of finite rank operators which maps finite dimensional compact sets(which ...

**3**

votes

**1**answer

218 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

103 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

127 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

157 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

70 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

169 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

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

**9**

votes

**1**answer

226 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

137 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

112 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

117 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

26 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

107 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

**0**answers

66 views

### Ask for a good reference for the calculus involving singular continuous measure [migrated]

I am not an expert on measure theory. I am sorry if this question is too simple for some experts here.
Suppose the measure $\mu$ is singular continuous on $\mathbb{R}$, such as the cantor measure. ...

**0**

votes

**1**answer

304 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

178 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

127 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

85 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

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

**0**

votes

**1**answer

105 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

81 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

45 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

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

**3**

votes

**2**answers

118 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

718 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

134 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

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

**9**

votes

**3**answers

307 views

### $L^p$ norm means

Consider the unit sphere $S_p^{n-1}$ of an $L^p$ normin $\mathbb{R}^n.$ The question is: what is the expected value of the $L^q$ norm on $S_p^{n-1}?$ Since (I assume) this is intractable in closed ...