# Tagged Questions

**1**

vote

**1**answer

44 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) = ...

**2**

votes

**0**answers

96 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

103 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

53 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

116 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

86 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

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

**-3**

votes

**0**answers

69 views

### EXAMPLES OF SMOOTH FUNCTION IN L^2(R) [on hold]

Is there any function $f$ which lies in $L^2(R)$ that belongs to $C^n$ space and whose $nth$ derivative is bounded.
Is the example $f(t)= t^2$, for $0\leq t< 1$ and 0 otherwise which satisfies the ...

**0**

votes

**1**answer

87 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

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

**-3**

votes

**0**answers

71 views

### Question about continuity of Holder functions [on hold]

Let the definition of the oscillation about a point be given as
$
\mathrm{osc}[f] (x) : = \lim\limits_{\epsilon \rightarrow 0} \sup_{[x -\epsilon, x + \epsilon]} f - \inf_{[x -\epsilon, x + ...

**5**

votes

**2**answers

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

**5**

votes

**0**answers

75 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

293 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

175 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

107 views

+50

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

80 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

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

**2**

votes

**0**answers

113 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

95 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

77 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

41 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

75 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

97 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

108 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

710 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

127 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

**0**answers

52 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

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

**3**

votes

**0**answers

106 views

### Linear interpolation in weighted Sobolev spaces

I am reading a paper regarding the pricing of certain financial derivatives making use of the finite element method. In this paper the following weighted Sobolev spaces are introduced:
$W_{0}$ = $ \{ ...

**2**

votes

**0**answers

77 views

### Boundary regularity of Dirichlet Eigenfunction on bounded domains

Consider a bounded, connected and open subset $\Omega\subset \mathbb{R}^d$ and the Dirichlet Laplacian $-\Delta$ acting in $L^2(\Omega)$.
Then we know that the eigenvalues of $-\Delta$ form an ...

**0**

votes

**2**answers

164 views

### A book about almost periodic functions [closed]

Can anyone give me suggestions for new books about Besicovitch's almost periodic functions? Thanks a lot.

**2**

votes

**1**answer

175 views

### Chebyshev centres of a bounded closed convex set in a strictly convex Banach space

Suppose $X$ is a strictly convex Banach space. Does there exist a bounded closed convex set $K$ in $X$ such that the set of all Chebyshev centers $C(K)$ of $K$ is a proper subset of $K$ with diameter ...

**2**

votes

**1**answer

128 views

### Is this left ideal of C*-algebra principal?

This is a follow up of this question. Let $I$ be closed left ideal of $C^*$-algebra $A$.
Assume we are given a sequence of left $A$-module morphisms $R_n:I\to A$ with $\sum_n \Vert ...

**3**

votes

**1**answer

104 views

### Separability of $R_+\times\mathcal{C}(R_+)$

Let $\mathcal{C}(R_+)$ be the space of continuous functions $f$ defined on $[0,+\infty)$ with $f(0)=0$. Denote by $\Omega$ the product of $R_+$ and $\mathcal{C}(R_+)$. Now endow $\Omega$ with the ...

**3**

votes

**1**answer

118 views

### Uniqueness of weak solutions of a heat equation

Let $M$ be a smooth compact closed manifold.
Let $u \in H^1(0,T;H^{-1}(M)) \cap L^2(0,T;H^1(M))$ be a solution of
$$u_t - \Delta u - u = 0$$
$$u(0)=u(T)$$
satisfying $\int_M u(t) = 0$ for all $t$. Is ...

**0**

votes

**0**answers

39 views

### Rational matrix functions theory and the state space method for the case of two variables

I know there is a well-developed theory of rational matrix functions. It can be found in a number of books by Israel Gohberg et al.:
"Factorization of Matrix and Operator Functions: The State Space ...

**1**

vote

**1**answer

110 views

### Laplacian with singular potential

Let $S$ be a $2$-dimensional sphere. Let $p$ be a point in $S$. Let $L$ be a second order elliptic partial differential operator with smooth coefficients defined over the complement of $p$. Near $p$, ...

**7**

votes

**1**answer

240 views

### Error in Maurins proof for the nuclear spectral theorem?

I am currently studying the nuclear spectral theorem as presented in K. Maurins Monograph "General Eigenfunction Expansions and Unitary Representations of Topological Groups", second chapter or ...

**0**

votes

**0**answers

137 views

### Is a finite depth-index irreducible subfactor, intermediate of a depth ≤ 3 one?

Let $(N \subset M)$ be a finite depth-index irreducible subfactor.
Main question: Is $(N \subset M)$ the intermediate of a finite index depth $\le 3$ irreducible subfactor?
(In others words, is ...

**3**

votes

**1**answer

160 views

### Is Besove spaces $B^{s}_{p,q}$ invariant under Fourier transform?

(This may be very easy question for MO; as I am just trying to understand Besov spaces)
Let $\phi \in C^{\infty}(\mathbb R^{n})$ with
$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: ...

**0**

votes

**0**answers

59 views

### The trivility of Besov space for large parameter

For all $s>0$, $1\le p<+\infty$ and $u\in L^p(\mathrm{d}x)$, we define
$$D_{s,p}(u)=\sup_{r>0}\frac{1}{r^{sp+n}}\int_{\mathbb{R}^n}\int_{B(x,r)}|u(y)-u(x)|^p\mathrm{d}y\mathrm{d}x$$
and
...

**0**

votes

**0**answers

57 views

### numerical and functional mixed optimization problem $\max f - \min f +\int_{-1}^1 (f'(x)-x)^2dx$

Given a function $g(x)$ and its domain, we want to get another function $f(x)$ whose derivative is approximately $g(x)$, but so that $f(x)$ itself has small variation. For example, for ...

**3**

votes

**0**answers

140 views

### What are the first non-maximal non-group-subgroup simple irreducible subfactors?

Definition: For an irreducible (finite index) subfactor $(\mathcal{N} \subset \mathcal{M})$, an intermediate $(\mathcal{N} \subset \mathcal{P} \subset \mathcal{M})$
is normal if the biprojections ...

**6**

votes

**0**answers

137 views

### A compactification of the non-negative rationals with the discrete topology

Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...

**4**

votes

**0**answers

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