Tagged Questions

0
votes
0answers
25 views

Continuous class functions separating conjugacy classes of compact groups

Let $G$ be a compact group. We know that the algebra of trigonometric functions is dense in $C(G)$ and hence, it separates the points of $G$. Let $X(G)$ be the linear span of all g …
0
votes
0answers
58 views

Convergence in L^p([0,T],X)

Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$. Let $X_1,X$ be two Banach spaces such that $X_1\subset X$ with compact embedding. Let …
0
votes
0answers
56 views

Sobolev spaces on hypersurfaces

I am learning about Sobolev spaces on hypersurfaces. Let $S$ be a $C^k$-hypersurface with boundary for some $k$. In order to define a weak derivative, one needs $k \geq 2$ becaus …
2
votes
1answer
126 views

Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$

How is the proof that $$[L^2(0,T;X)]' = L^2(0,T;X')$$ looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0 …
1
vote
1answer
69 views

$C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$?

Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert spac …
3
votes
3answers
240 views

Existence of dominating measure for weak*-compact set of measures

I have posted the following question also here a longer time ago, but due to no answers I thought it might fit better to MO. Let $(\Omega,\mathcal F)$ be a measurable space and $\ …
2
votes
0answers
75 views

Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold

I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable …
0
votes
0answers
43 views

Fundamental solutions for degenerate elliptic equations

Hello, I am looking for a paper or a book that says about the existence and some estimates (like these in the non-degenerate case) of the fundamental solutions for degenerate elli …
0
votes
1answer
85 views

Special kind of operators

Consider an operator $A: H \longrightarrow X$ ($H$ is a Hilbert space and $X$ is a Banach space) that has a representation $$ A = \sum_{j=0}^\infty a_j \langle \cdot, e_j\rangle \c …
0
votes
0answers
116 views

Open Mapping Theorem

I would want to known some counterexamples for the Open Mapping Theorem, evading every single condition. I mean, we need X,Y Banach Spaces, and a linear, continous and surjective a …
0
votes
1answer
102 views

How to handle a scalar product in an integral?

I am having a problem with a certain inequality I try to understand. I think it's just a basic idia (/trick) I'm missing, but I can't seem to find it. Here's a simplification of …
5
votes
1answer
116 views

Absolutely 2-summable operator on a Hilbert space

An bouneded linear operator $A \in L(X, Y)$ ($X$, $Y$ Banach spaces) is called absolutely $2$-summable if there exists a $C>0$ such that $$ \left( \sum_{j=1}^N \| A x_j\|_X^2 \righ …
0
votes
1answer
131 views

The pth power of a distance function is twice continuously differentiable, for $p>2$?

Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$. Is $\beta^p$, $p>2$ a tw …
2
votes
2answers
436 views

A characterization of Hilbert spaces?

My question was prompted by an earlier MO by @Daniel:     Duality map in strictly convex Banach spaces I will even use his symbol $\phi$ below. Let $B$ be an arbitrary …
0
votes
1answer
126 views

Variation on Fatou’s lemma for Sobolev norms

Recall that Fatou's Lemma says that for every sequence $f_n$ of non-negative measurable functions $$\int \liminf_{n\to \infty} f_n \ d\mu\leq \liminf_{n\to \infty} \int f_n\ d\mu …

1 2 3 4 5 112 next
15 30 50 per page