All Questions
12,780 questions
1
vote
1
answer
88
views
Embedding to $L^\alpha(0,T;L^\beta(\Omega))$
Good day!
Let $V = H^1(\Omega)$, $\Omega \subset \mathbb R^3$.
Consider the space
$W = \{ y \in L^2(0,T;V) \colon dy/dt \in L^2(0,T;V') \}$.
It is well-known that $W \subset C([0,T];H)$ where $H = ...
- 243
2
votes
0
answers
288
views
Limit of an inverse Mellin transform
In Edwards' very nice book ``Riemann's zeta function'' the following integral comes up in section 1.14. Suppose $\beta = \sigma + i\tau$ with $\sigma > 0$. Suppose $x > 1$. Fix some real number $...
- 21
2
votes
1
answer
323
views
Recovering Schauder decompositions
The problem of Schauder decomposition of a given Banach space seems to play an important role in the geometry of Banach spaces, especially when one is interested in finite dimensional Schauder ...
- 23
5
votes
0
answers
354
views
Weight-2 modular forms under $\Gamma(N)$
I'm looking for explicit bases of weight 2 modular forms under $\Gamma(N)$, for small N (<16 would be enough). (Ideally in terms of Theta- or Eta-Functions)
It seems to me that this should ...
- 63
1
vote
0
answers
145
views
Any possible way to invert a function built from a sum of two?
In searching for various choices for the interpolation of exponential-towers to fractional heights (aka tetration) I came to the following type of function:
$$ f_b(x) =\left[ \frac {t_0}{2} + \sum_{k=...
- 5,342
1
vote
0
answers
114
views
Forcing a set of complex points to be closed under conjugation
I am a PhD student and I have to address the optimization of a real scalar function of complex variables $f(z_1,z_2,\ldots,z_n)$. The function is real valued in my case because each complex $z_i$ ...
1
vote
0
answers
117
views
How to find number of points at infinity of a Riemann surface
Let $X \subset \mathbb C^2$ be a Riemann surface with boundary $\partial X \subset \mathbb C^2$ and without compact components. Let $\bar X = X \cup \{p_1,\ldots,p_N\} \subseteq \mathbb CP^2$ be its ...
- 1,329
5
votes
1
answer
513
views
Field of Definition of a Meromorphic Function
Question
Let X be a smooth, projective curve over the algebraic closure of ℚ. Let f:X->ℙ1 be a meromorphic function. Assume that the zeros and the poles are defined over some number field,...
- 1,522
4
votes
1
answer
266
views
Exotic uniform algebras
The first non-trivial example of a uniform algebra which comes to mind is the disc algebra $A(\mathbb{D})$. In a similar manner one can define its relatives $P(U)$ and $R(U)$, where $U$ is any region ...
- 43
3
votes
1
answer
254
views
gluing along a real analytic manifold
hi,
I have a general question. Assume we have a real analytic $n-$dim. manifold $X$ and $M$ a real analytic compact submanifold of $X$ (of dimension less that the dimension of $X$, say $k < n$). ...
- 89
1
vote
0
answers
65
views
Request for reference about bound on zeroes of the Laguerre polynomials
Consider the sequence of polynomials given as, $p^{a}_k (x) = (1 - a \frac{d}{dx})^k x^n $ for some parameter $a>0$ and $k$ being a positive integer. For any positive integer $d$ it seems to be ...
- 617
16
votes
0
answers
1k
views
Finite Rank Commutators
My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
- 31.5k
2
votes
1
answer
508
views
Fractional integration lemma
Hello everyone.
I am trying to establish a fractional integration lemma of this form.
For $\alpha\geq 0$, and
$1\leq p,q<\infty$ and $0\leq \frac{1}{q}-\frac{1}{p}=\frac{\alpha}{d}$
or $1\leq p,...
- 23
9
votes
0
answers
462
views
$C^\infty$ function $f:{\bf C}\mapsto {\bf C}$ such that $f(z)\in\overline{{\bf Q}(z)}$ for all $z\in {\bf C}$
Suppose that $f:{\bf C}\mapsto {\bf C}$ is a $C^\infty$ function such that $f(z)\in\overline{{\bf Q}(z)}$ for all $z\in {\bf C}$, ie $f(z)$ is algebraic over the field ${\bf Q}(z)$ generated by $z$ ...
- 3,076
1
vote
1
answer
164
views
Maximum number of orthonormal vectors contained in an open cone
Let $H$ be a separable Hilbert space, $\Pi:H\to L$ the orthogonal projection to a linear subspace of finite dimension $p$, and $U$ the open cone of vectors $u\in H$ such that $\langle u,\Pi u\rangle&...
- 329
3
votes
0
answers
145
views
What is the relationship between complex time singularities and UV fixed points?
In this paper it is described how the turbulent kinetic energy spectrum and the flatness (a measure for intermittency) are governed by the position of the (dominant) singularities of the solutions of ...
- 418
3
votes
0
answers
183
views
Is the construction of ring C*-algebra functorial?
Cunz and Li defined defined C*-algebras for arbitrary rings with of course some condition. One can look at their article (http://arxiv.org/abs/0905.4861). My question: is the construction functorial? ...
- 95
0
votes
0
answers
166
views
Harnack's Inequality and (hypo)elliptic PDE
Background: I am aware of the Harnack's Inequality for linear elliptic equations.
My questions are:
(a) Is there a version of Harnack's Inequality for nonlinear elliptic equations, say, of the form ...
- 1
0
votes
2
answers
444
views
Sobolev space: probably simple ode....
I am trying to solve for $y(x)$ in terms of $f(x)$ in a convenient space (eg. $\dot{H}^2(\mathbb{T})$-zero mean). Here is the ode:
$y(x)+y(x)y'(x)=f(x)$.
I think a contraction mapping argument will ...
- 9
8
votes
1
answer
381
views
Estimating flat norm distance from a planar disc
Let $D\subset\mathbb R^2\subset\mathbb R^n$ be a unit planar disc in $\mathbb R^n$. Let $S$ be an orientable two-dimensional surface in $\mathbb R^n$ such that $\partial S=\partial D$. Of course, we ...
- 32.4k
4
votes
0
answers
59
views
Behaviour of Markov type under uniform homeomorphism of spheres
A metric space $(X,d_X)$ has Markov type $p$ (with $p \in [1,2]$), if, for every stationary Markov chain $\{Z_n\}_{n=0}^\infty$ on $Y$ (a finite space) and every mapping $f:Y \to X$, one has
$$
\...
- 4,432
0
votes
0
answers
152
views
Need help determining whether a certain map is a $C^\ast$ homomorphism
Hello, I need help determining whether the map I defined between two algebras is a well-defined homomorphism of $C^\ast$-algebras. I ran into this problem while trying to define a "rotation map" ...
- 365
0
votes
2
answers
415
views
Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$
A $\star$-ring is a ring with an involutive anti-automorphism. The simplest example of a noncommutative $\star$-ring is perhaps $B(l^2)$, the ring of bounded linear functions on the sequence space $l^...
user2529
2
votes
2
answers
354
views
A bound on linear functionals over cotype 2 spaces
This is a modification of the somewhat naive question that I asked below.
Suppose $X$ is a real Banach space of cotype-2, and $u_1, u_2, ... u_n$ are unit vectors in this space. For $\gamma = ((\...
- 2,151
0
votes
1
answer
330
views
Convex sets and projections
Hello!
I recently started (it's purely self-education) reading a "Mathematical programming and optimizations" book, did a vast part of the exercises related to the theoretical part and at one moment ...
1
vote
1
answer
635
views
Closed range for a continuous linear transformation
I have a Banach space $B$ and a continuous linear transformation $F:B \rightarrow B\times B$. One of the induced transformations $F(1):B \rightarrow B$ and $F(2):B \rightarrow B$ into the factors of ...
- 549
1
vote
2
answers
294
views
inequality of norms [closed]
Let $X$ and $Y$ be two Banach spaces with norms $\|\|_X$ and $\|\|_Y$ respectively. If $Z=X\times Y$ is also a Banach space with norm $\|\|_Z$ then what is the relation between $\|\|_X,\:\|\|_Y$ and $\...
2
votes
0
answers
117
views
Maximum Principle with Banach Control Space
This is a problem that seems very natural to me, but I couldn't find any formal statement in the literature for some time now. I am basically considering an autonomous optimal control problem in which,...
- 197
1
vote
0
answers
221
views
Distance between probability amplitude functions
Suppose we have two probability measures $P_1$ and $P_2$ on some Riemannian manifold $(\Sigma,g)$. There are many potential distance measures between $P_1$ and $P_2$:
The Wasserstein distance
For $...
- 705
0
votes
0
answers
146
views
How to bound Haar coefficients in terms of total variation?
I'm trying to get the basic idea behind the proof of Theorem 8.1 of this paper, but I'm having difficulty. Specifically, it says:
We shall show that there is a set $\Lambda_n\subset\mathcal{D}$ such ...
- 7,633
2
votes
1
answer
172
views
Monodromy of "complex Schwarz-Christoffel maps
Let:
-- $x_1,\ldots,x_n$ be $n$ distinct points on the complex plane $\mathbb C$.
-- $r_1,\ldots,r_n$ be $n$ real numbers.
Consider the map
$$ z\mapsto u(z)=\int^z \frac{1}{(x-x_1)^{r_1}\cdots ...
- 23
1
vote
1
answer
353
views
Separability of the space of bounded continuous maps
Let $O$ be an open subset of the separable Hilbert space H and $k\geq0$ . Consider $C_b^k(O, Sym(H))$, the space of k-times continuously differentiable maps with values in the bounded symmetric ...
- 2,935
3
votes
0
answers
289
views
How well do continuously differentiable functions behave from R^2 to R^2 ?
The behaviour of complex smooth vs 1-dimensional real smooth functions is discussed in a previous question.
In "Complex Analysis as Catalyst" by Steven G. Krantz, the Cauchy integral formula is ...
- 529
2
votes
0
answers
604
views
Morera type theorems
In Stein and Shakarchi, Complex Analysis, Princeton lectures in Analysis, Chapter 2, Problem 2 an interesting question is posed. The problem section in each chapter contains more complicated problems, ...
- 2,222
0
votes
1
answer
396
views
Characterization of Measureable Sets [closed]
Every countable union of rectangles in R2 is a Lebesgue measurable set. Is the converse true, too?
Specifically, I wonder whether the following statement is true:
Let A be a set in the unit square ...
- 99
2
votes
2
answers
181
views
convergence of the coefficients of lacunary series
I just want to find some standard reference to the following result: let $(a_k)_k$ be the sequence of coefficients of a lacunary Fourier series which converges to an $L_1(T)$ function in the sense of ...
6
votes
0
answers
257
views
What is the intersection of the closures of left invertible operators and right invertible operators?
From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that
$$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = \...
- 515
5
votes
0
answers
240
views
Linear ODEs in a locally convex vector space
Let $X$ be a complete, locally convex, Hausdorff topological vector space over $\mathbb{C}$. Let $J \subset \mathbb{R}$ be an open interval. Consider the space $M = C^\infty(J,X)$ of smooth ...
- 235
0
votes
1
answer
113
views
Counting complex solutions on a disk.
I am looking for an example of an analytic map $f$ on the complex domain for which there exist $r>0$ such that for $\gamma=\{z:|z|=r\}$, a.s. for $\theta \in [0,2\pi)$ we have that
$$\int_{f(\gamma)...
- 105
2
votes
1
answer
386
views
Entire function with special conditions [closed]
Hi all, here's my question which I have no idea how to approach.
Fix a complex number q such that |q| < 1. Describe all entire functions f such that f(z)/f(qz) is a linear function of z.
- 549
0
votes
0
answers
272
views
L_2-norm representation
Let
$$
f^{\alpha}_+(x)=\frac{1}{\Gamma(\alpha+1)}\sum_{k\ge 0}(-1)^k{\alpha+1 \choose k}(x-k)^{\alpha}_+,
$$
where $\alpha > -\frac 12$.
I am wondering if one can get nice representation of $L^2$-...
- 71
3
votes
0
answers
113
views
inifinite tensor product algebra representation
For a finite integer $N$, let $A_n = \bigotimes^n M_N(\mathbb{C})$. $A_n$ embeds in $A_{n+1}$. Let $A_\infty = \cup A_n$. Are the (complex) irreducible representations of $A_\infty$ known? It is ...
- 103
2
votes
2
answers
356
views
Coefficients of holomorphic functions defined by Borel probability measures on the unit disc
Let be $\mathcal M(\partial\mathbb D)$ denote the set of all Borel complex probability measures on $\partial\mathbb D$ (unit circle in the complex plane). Define a mapping $\Phi:\mathcal M(\partial\...
- 2,044
2
votes
1
answer
315
views
Extending holomorphic connections
Let $D$ denote the disk $|z|<1$ in the complex plane and $U=D\0$(punctured disk). Define a holomorphic connection $\nabla$ on $\mathscr{O}_U$ by $\nabla(1)=\exp{(-1/z)}$. Does this extend to a ...
- 1,563
1
vote
2
answers
288
views
Is it possible that the intersection of two nest algebras contains only scalars?
Dear all, I really want to know the answer of the following question. I would
appreciate any help.
Assume H is a separable Hilbert space, is it possible to find two nests N1, N2
such that the ...
- 61
1
vote
1
answer
226
views
How are real-analytic functions encoded in computer algebra?
I would like to know how are encoded the real-analytic functions on the interval by the computers. When I think in a real-analytic function I just think in a composition of the ''typical'' analytic ...
- 105
1
vote
0
answers
88
views
Invertibility of Hankel operators?
Let $D$ be the unit disc in the complex plane and $P$ the Bergman projection mapping $L^2(D)$ onto the closed subspace $A^2(D)$ of holomorphic square-integrable functions (w.r.t. Lebesgue measure). ...
- 2,479
0
votes
0
answers
150
views
$n$-th derivative of the prolate spheroidal function
For a given real number $c>0$ define functions $\left(\psi_{k,c}(\cdot)\right)_{k\ge0}$, as an eigenfunctions of the Sturm-Liouville operators $L_c$ defined
$$
L_c(\psi)=(1-x^2)\frac{d^2\psi}{dx^2}...
- 71
0
votes
1
answer
106
views
The influence of eigendecomposition on the periodicity of a (rank 2) Hermitian matrix (of functions)
Let $\boldsymbol{R}(u,v);~u,v\in\mathbb{R}$ be a Hermitian matrix (of Hermitian functions) with entries
\begin{equation}
r_{ij}(u,v) = 1 + Ae^{-2\pi i \phi_{ij}(ul_0 + vm_0)}; A\in\mathbb{R},l_0\in\...
- 33
3
votes
0
answers
498
views
PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field
Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases).
Let $\nabla^{2}$ be the vector Laplacian. Let $<\cdot,...
- 800