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

learn more… | top users | synonyms (1)

1
vote
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
2answers
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
3answers
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
1answer
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
0answers
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
3answers
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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 ...