All Questions
10,448 questions
1
vote
1
answer
630
views
Stuck on a convergence argument in $H_0^1(\Omega)$.
I'm trying to verify that a functional I have satisfies the Palais Smale condition for appliction of the Mountain Pass lemma.
However I've encountered this step along the way which seems clear to me ...
- 2,641
4
votes
1
answer
720
views
Are coordinate functionals on complete vector spaces always continuous?
(I'm just adding the completeness condition to $V$ from this 2 month old question of mine, because I realized it's relevant to whether Bill Johnson's answer to this 4 month old question of mine ...
user5810
2
votes
1
answer
134
views
Dirichlet energy with domain $W^{1,2}(M)$ or $W^{1,2}_{loc}(M)$ can be a specific Dirichlet form?
M is a Riemannian manifold, $\varepsilon(f,g)=\int_M \langle {\nabla f,\nabla g}\rangle dvol$.
Then with which domain is $\varepsilon$ a strongly local, regular and tight Dirichlet form?
$W^{1,2}(M)$ ...
- 199
1
vote
0
answers
94
views
Determining the exact form of a projection in a Hilbert space
Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$
where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
- 108
0
votes
1
answer
438
views
Möbius Transform of a Continuous Possibility Function
In order to be able to use a basic possibility function as a Body of Evidence in the Dempster-Shafer Theory of Evidence, it is needed to transform the function to its Möbius representation.
There is ...
- 103
1
vote
1
answer
295
views
A nice overview (and maybe derivation) of the Poincaré transformations of the Vector Spherical Harmonics
With $Y_{lm}(\vartheta,\varphi)$ being the Spherical Harmonics and $z_l^{(j)}(r)$ being the Spherical Bessel functions ($j=1$), Neumann functions ($j=2$) or Hankel functions ($j=3,4$) defining $$\psi_{...
- 161
1
vote
0
answers
154
views
A problem concerning measures on locally compact spaces
I am stuck on a question for quite sometime now, although in the text it is said to be "apparent". The problem goes as the following :
Let $X$ and $Y$ be locally compact Hausdorff spaces. Then $M(X)$ ...
- 111
3
votes
0
answers
209
views
A maximum of a function
When studying the $\text{UMD}$ constants of spaces like $L_{p_1}(L_{p_2}(\cdots (L_{p_n})\cdots))$, I encounter the following question: Let $\alpha > 0$, define $$C(\alpha) : = \sup_{a > 0, b>...
- 769
0
votes
1
answer
498
views
Quotient of \ell_1 by space of finite sequences
The following question came up during a reading of Rudin's functional analysis. I have not been able to find any information through searching online, but I apologise if the answer is obvious, or the ...
- 11
1
vote
0
answers
694
views
A question about an equivalent definition of the Schwartz distribution
Hello,
Does anyone know a reference or proof of the "if" part of the following statement?
$$
\mu\in \mathcal{S}'(R)\quad\text{if and only if}\quad \mu*\alpha\in\mathcal{S}(R),\forall \alpha\in C_c^\...
- 1,649
-2
votes
1
answer
295
views
When does the adjoint operator map closed convex subsets to closed convex subset?
Let $T:X\rightarrow Y$ be a linear continuous map between Banach spaces $X$ and $Y$ and denote by $T':Y'\rightarrow X'$ the norm adjoint of $T$. Let $M\subseteq U'$ be a subset of
the unit sphere $U'$ ...
- 101
3
votes
0
answers
254
views
Ways to establish equality of measures on locally compact spaces
Let $M$ be a locally compact space and $\mu$ be some probability measure on $M$. Let $y^\ast \in M$, $f(x,y)$ be a real continuous bounded function $M \times M \to \mathbb{R}$. Consider an equality
$$
...
- 1,329
0
votes
1
answer
220
views
Frames and completeness
Let $H$ be a separable Hilbert space.
A sequence $\{f_{n}\}$ is a frame for a separable Hilbert space $H$ if there exists $A,B>0$ such that for all $f$ in $H$
$$
A\|f\|^2 \leq \sum |\langle f, ...
- 71
0
votes
0
answers
79
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 $C[[X_1,...,X_N]]$, where $C$ is the complex number field. Consider the analytic manifold $V(I)$ defined by the ...
- 1
2
votes
0
answers
58
views
Smooth bivariate functions identifiable under permutations
Consider a "smooth" $f : [0,1]^2 \to [0,1]$ and let $\pi : [n] \to [n]$ be a permutation of $[n] =\{1,\dots,n\}$. Let us define
$$
A^{f,\pi} := \Big( f\Big(\frac{\pi(i)}{n},\frac{\pi(j)}{n}\Big) \...
- 1,731
1
vote
1
answer
162
views
Inductive limit of mapping tori
I have two mapping tori $A_{n}$={$f\in C([0,1], M_{n}(\mathbb{R}))\mid f(1)=\alpha_{1}(f(0))$}, $B_{n}$={$f\in C([0,1], M_{n}(\mathbb{R}))\mid f(1)=\alpha_{2}(f(0))$} where $\alpha_{1}, \alpha_{2}$ ...
- 169
1
vote
0
answers
80
views
Rate of convergence in narrow convergence
Does anyone help me in the following question?
I have a sequence of probability measures $\mu_n$ and know that $\mu_n$ converges narrowly to a probability measure $\mu$. Is there any way to estimate ...
2
votes
1
answer
570
views
Is a polynomial positive on the sphere a sum of squares of spherical harmonic polynomials?
Let $p\in {\mathbb{R}}[x_1,\ldots, x_n]$ be a homogenous polynomial of even degree $2d$. If $p$ is positive on the unit sphere $S\subset {\mathbb{R}}^n$, then does there exist some $m>0$ and ...
user2529
2
votes
0
answers
76
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$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835
0
votes
0
answers
77
views
How to generalize balanced and absorbing sets to R-modules?
I'm looking for generalizing the notions of balanced set and absorbing set. The goal is using them for analyzing topological R-modules with R being a unit ring.
It's easy to generalize balanced and ...
- 29
3
votes
0
answers
126
views
Are there pathological examples of log-concave measures that admit no shifts?
Does there exist a random vector $X$ in, say, the space $\mathbb{R}^\infty$ of sequences that has the following properties?
The distribution of $X$ is log-concave, i.e. for every $n$ the joint ...
- 4,010
4
votes
1
answer
311
views
Continuous functions on the states of a C*-algebra and its elements
Let $\mathcal A$ be a C*-algebra and $s(\mathcal A)$ the set of states on $\mathcal A$, with the weak* topology, as a subspace of the dual space. Suppose $f: s(\mathcal A) \to \mathbb C$ is a ...
- 41
-1
votes
1
answer
696
views
Can singular measures be viewed as vanishing distributions? (Answer No!)
Hello,
Here is my original question: let $\mu$ be a singular measure with respect to the Lebesgue's measure on $R$. Is it true that $\int \psi \mu(d x)=0$ for any test function $\psi\in C_c^\infty(R)$...
- 1,649
13
votes
1
answer
404
views
Self map of unitary group
Let $H$ be a Hilbert space and let $u_1 \in U(H)$ be a unitary operator on $H$. Consider the self-map $w: U(H) \to U(H)$ which is given by
$$w(v) := v^2 u_1 v^{-1}.$$
Since $U(H)$ is connected, there ...
- 25.5k
0
votes
1
answer
611
views
Linear functionals and continuous functions on open intervals
Let $Q$ be an open interval of ${\mathtt R}$ and $E$ be the space of continuous and bounded functions in $Q\to \mathtt{R}$.
I call $E^*$ the set of linear functionals over $E$ and $E_+^*$ the subset ...
- 13
0
votes
1
answer
261
views
Norm functionals of $B(H)$ restricted to sub ven-Neumann algebras [closed]
Let $H$ be a Hilbert space, we know that weak topology over $B(H)$, operator algebra of bounded linear operators from $H$ into $H$, is the topology generated by
$\{\langle \cdot \xi,\eta\rangle:\; \...
2
votes
0
answers
172
views
Mappings between Banach spaces
What is the definition of an analytic mapping between two Banach spaces? This is a problem I ran into when solving an integral equation. One of the related coefficients is represented as
a functional ...
- 663
3
votes
0
answers
172
views
Shift-invariant submultiplicative seminorms of $\ell^{\infty}$
Question: Is there a shift-invariant submultiplicative seminorm $||\cdot||$ of $\ell^\infty$ which satisfies the following property?
If $f:\mathbb{N}\rightarrow\mathbb{N}$ is an increasing function ...
- 31
10
votes
1
answer
635
views
What's the nearest algebraic theory to inner product spaces?
Following the references to the accepted answer to Is the category of Banach spaces with contractions an algebraic theory? one discovers that there is an algebraic theory (infinitary) which is closely ...
- 26.8k
0
votes
1
answer
229
views
Complemented subspaces of $\ell_p(I)$ for uncountable $I$
I was looking for an article mimicing result of Pelczynski for $\ell_p$. I have found this one
Rodriguez-Salinas, B. (1994). On the Complemented Subspaces of $c_0(I)$ and $\ell_p(I)$ for $1 < p &...
- 1,697
2
votes
1
answer
221
views
Eigenvalue estimation by Lyapunov's method
I have seen somewhere the following results related to Lyapunov equation:
Let $A\in \mathbb{R}^n$ be a stable matrix in the sense of having negative real part eigenvalues. Let $\Re\lambda()$ denote ...
- 135
3
votes
0
answers
134
views
Characterizing a functional that takes convolution to addition
Let $H:L^2[0,1]\rightarrow \mathbb{R}$ satisfy
$$H(f*g)=H(f)+H(g).$$
Question:Is there a characterization of all such functionals $H$?
Related questions:Can it be extended to measures? If so, is it ...
3
votes
1
answer
82
views
Subclasses of distributions
I am wondering if there exists some known useful distribution spaces which are larger than tempered distributions, but that are defined from Banach test function spaces, as Schwartz space. For ...
- 31
3
votes
1
answer
177
views
If $A \subset X'$ annihilates only $0$, then $A$ is dense
Let $X$ be a Banach space with continuous dual space $X'$ with norm topology. Let us regard the following property of $X$:
Property: Any linear subset $A \subset X'$ that satisfies $\bigcap_{\alpha\...
- 5,327
5
votes
1
answer
403
views
Nonlinear Nuclear Operators ?
Is there a "right" definition of the nuclear
operator in the nonlinear framework ? Of course, such an operator
must be compact, while a linear operator should be "nonlinearly"
nuclear iff it is ...
- 4,060
1
vote
1
answer
179
views
Measures idempotent with respect to addition and multiplication.
Does there exist a probability finitely additive measure on $\mathbb N$ which is idempotent with respect to addition and multiplication simultaneously?
It is known (due to Hindman) that there is no ...
- 723
1
vote
0
answers
103
views
Regularity of weak solutions for a quasilinear problem
Theorem 6.2.7 in the book Nonlinear Analisis of Gasisnski and Papageorgiou states: If $u\in W^{1,p}(\Omega)\cap L^\infty(\Omega)$ and $\Delta_pu \in L^\infty(\Omega)$ then we have $u\in C^{1,\beta}_0(\...
- 11
3
votes
1
answer
588
views
orthonormal basis of eigenvectors for laplacian on a concave polygon
I am interested in the Laplace operator $\Delta$ on a concave polygon.
When the polygon is convex, it is known that $\Delta: H^2(\Omega) \rightarrow L^2(\Omega)$
is boundedly invertible. In addition, ...
- 31
2
votes
0
answers
130
views
A - B is semidefinite, what the relationship about their eigenvalues? [closed]
$A, B$ are two symmetric matrices, if $ A-B $ is semidefinite (i.e.$ A - B \geq 0$), if we rearrange the eigenvalues of two matrices, $\lambda_1 (A) \geq \lambda_2 (A) \geq ... \geq \lambda_n (A)$, ...
- 25
0
votes
0
answers
214
views
Splitting the action of functionals in duals of Sobolev spaces
Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...
- 101
1
vote
4
answers
614
views
Variants of point fixed theorem
Let $E$ be a dual Banach space and $C$ a nonempty convex weak* compact subset of $E$. Let $G$ be a group of weak* continuous linear isometries on $E$. Suppose that $g(C)\subset C$ for all $g\in G$.
...
- 1,222
3
votes
1
answer
436
views
When does a mother wavelet generate a frame?
This question is about conditions on a mother wavelet that generates a countable familily of child wavelets via scaling and translation, that are both necessary and sufficient for the child wavelets ...
- 1,544
2
votes
0
answers
118
views
A two dimensional integral equation
I have the following integral equation:
$\phi(x, y) = \frac{a}{x-y} \int_y^x \phi(s, y) ds + \frac{b}{x-y} \int_y^x \phi(x, s) ds$
where $a > 1$ and $b> 1$ are constants, and $x \geq y$. The ...
- 21
7
votes
0
answers
300
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
3
votes
0
answers
168
views
Deleting "weak homeomorphism" in a Hilbert space
It is well-known that there exists a homeomorphism $h$
from an infinite-dimensional Hilbert space $H$ to $H\setminus\{0\}$.
Does there exist a "weak homeomorphism" $g:H \to H\setminus\{0\}$,
that is, $...
- 91
1
vote
0
answers
58
views
Measurability of eigenelements $s \mapsto (\varphi_k(s), \lambda_k(s))$ of Laplace-Beltrami on $M_s$
For each $s \in [a,b]$, let $M_s$ be a compact Riemannian manifold with no boundary.
Under what conditions on $s \mapsto M_s$ do the eigenvalues and eigenfunctions $(\varphi_k(s), \lambda_k(s))_{k \...
- 11
2
votes
0
answers
157
views
linear operator associated with semilinear elliptic pde
I am reading a paper where at some point they analyse the following linear operator:
$$L_\lambda(\phi)= - \Delta \phi - C_\lambda(x) \phi$$
where $ C_\lambda(x)>0$ (smooth) in $ \Omega$ a bounded ...
- 539
3
votes
0
answers
115
views
Constant in Maximal sobolev regularity
We know the following evolution equation
\begin{equation}
\left\{
\begin{array}{llc}
v_t=A v+f,\\
v(0)=0.
\end{array}
\right.
\end{equation}
$A$ generates a bounded analytic semigroup on a Banach ...
- 31
0
votes
0
answers
244
views
Checking whether this would be bounded
It may be better to post this question here. Assume that $M$ is an $m$ by $m$ ($m$ is an even number) symmetric
positive-semi-definite matrix with exactly $m/2$ positive eigenvalues
and every entry of ...
- 1
4
votes
0
answers
500
views
Laplace Transform: Are there theorems similar to the Bernstein Theorem?
Bernstein's Theorem states, that if a function is completely monotonic, then it is the Laplace transform of an $L^1$-function. (E.g. Widder, "The Laplace Transform", Chapter IV, Theorem 19b)
Are ...
- 93