All Questions
12,780 questions
3
votes
0
answers
164
views
topology generated by irreducible componets of $\Gamma$-invariant closed sets
For an analytic space $U$ equipped with an action of a group $\Gamma$,
call a subset $Z\subseteq U$ $\Gamma$-closed iff
it is a closed analytic subset and each of its irreducible components
is an ...
- 1,299
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
1
vote
1
answer
532
views
Necessary condition for a branch point
If I have a function $f(z,\alpha)$ (let's keep it a polynomial of order $\geq 2$ in $z$, for simplicity), what would be a necessary condition for there to be branch points for this function? A friend ...
- 13
0
votes
0
answers
49
views
Non interacting complex unit
How to work with two non interacting complex units say i and j. These two imaginary complex unit represent different quantities. For example i is for periodicity in theta and j is for frequency or ...
- 1
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
312
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
277
views
Conformal Extension from a closed set to open
Let $Q = \{(x,y): x,y\geq 0\} $ be the 1st quadrant of $\mathbb R^2$, and $f$ is a function defined on it such that all the partial derivative(any order) of $f$ exists and continuous. By Whitney ...
- 541
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
2
votes
0
answers
407
views
Gaussian type integral with inverse square root
Hi,
I have encountered an integral of the following type in an engineering application:
$\int_{-\infty}^\infty dx \frac{1}{\sqrt{x^2+a^2}}\exp(-x^2/2+i x b)$,
where $a$ and $b$ are real ($a$ could ...
- 51
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
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
0
votes
1
answer
539
views
Proving uniform bound
Hello
I want to prove that
$\lim_{h\rightarrow\infty}\left(\int_{0}^{\infty}\left(\cos ht-1\right)\underset{t}{\triangle}\left[\frac{\phi(t)\exp\left(-itx\right)}{it}\right]dt\right)=-\int_{0}^{\...
- 579
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
1
vote
0
answers
302
views
Dedekind eta function identity involving two complex variables
Given the Dedekind eta function $\eta(\tau)$ and complex numbers a,b with imaginary part > 0, anybody knows how to prove the proposed identity,
$$\sum_{k=0}^{p-1} e^{2\pi i k/4}\eta^3\big(\tfrac{a+k}{...
- 12.6k
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
2
votes
2
answers
584
views
A proof about an unconditional basis theorem
Hello everyone. I'm in a little trouble trying to find the proof of a theorem stated by W. T. Gowers. It is the Lemma 1.6 in his article 'An infinite Ramsey theorem and some Banach space dichotomies' (...
- 105
-1
votes
1
answer
75
views
Finiteness of "novel variance" from a kernel on a compact space [closed]
Let $c(i,i')$ be a kernel function on a reasonable index space $I$. Choose a dense sequence of points $\{i_1, i_2, \cdots \} \subseteq I$, and define the one-point kernel functions $k_n := c(\cdot, ...
- 8,512
1
vote
0
answers
347
views
HyperKaehler manifolds are Ricci-flat
Hi,
I have the following question: Let $M$ be a Hyperkaehler manifold with complex structures $I,J,K$ and Hyperkaehler metric $g$. Let $\omega_{I} = g(I *, *), \omega_{J} = g(J *, *), \omega_{K} = g(...
- 93
5
votes
2
answers
864
views
Hilbert $C^*$-modules and approximate units
Hi,
Given a $\sigma$-unital $C^*$-algebra $A$ and a full Hilbert $A$-module $E$, is it possible to find an approximate unit $ \{\epsilon_i\}, i\in I$ in $A$ such that each $\epsilon_i$ is of the ...
- 93
1
vote
1
answer
491
views
Bounding a smooth function near the boundary
Let $f: \Omega\rightarrow \mathbb{R}$ where $\Omega\subset\mathbb{R}^d$ is bounded with lipschitz smooth boundary. Further suppose that $f\in\mathcal{H}^{\tau}(\Omega)$, $\tau>0$ and that $f$ ...
- 3,217
2
votes
0
answers
100
views
Translation of "Über kompakte homogene Kählersche Mannigfaltigkeiten"
Has anyone translated Borel and Remmert's 1962 paper titled:
Über kompakte homogene Kählersche Mannigfaltigkeiten?
- 89
-4
votes
1
answer
514
views
Meaning of the Mobius transformations video [closed]
What is this video trying to tell us?
http://www.youtube.com/watch?v=JX3VmDgiFnY
The statement that fractional linear transformations correspond to rotations of the sphere under the stereographic ...
- 1,783
3
votes
1
answer
895
views
Bernstein inequality for multivariate polynomial
Let $P$ be a polynomial in $k$ variables with complex coefficients, and $\deg P=n$. If $k=1$ then there is Bernstein's inequality:$||P'||\le n||P||$, where $||Q||=\max_{|z|=1} |Q(z)|$.
So, are there ...
- 1,575
3
votes
0
answers
409
views
Continuous function sort
If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
- 529
0
votes
0
answers
65
views
what is the first non-constant term in the Kronecker Limit formula?
The Kronecker Limit formula gives the constant term in the Laurent expansion about s=1 of the Eisenstein series E(s,\tau). What is the next term? I.e., the coefficient of the first power of (s-1)? I ...
- 153
4
votes
1
answer
646
views
Factorization in the Wiener algebra on the unit disc.
Consider the Banach algebra $W^+=\ell^1(\mathbb{Z}^+)$, viewed upon as the analytic functions $f$ on the unit disc $\mathbb{D}$ such that $$\|f\|=\sum_{k\ge0}|a_k|<\infty$$ where
$$f(z)=\sum a_kz^k$...
1
vote
0
answers
129
views
Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f
If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...
- 647