Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
140 views

When is $A^*A$ invertible for Banach space?

Let's consider a linear functional $A$ from smooth objects to smooth ones. It is first order operator in the sense that it extends to be a map from $W^{k+1,p}$ to $W^{k,p}$. Assume that we have $L^2$ ...
Hao Yin's user avatar
  • 527
1 vote
0 answers
118 views

Is there a standard name for functions of the form $x^\alpha p(x)$, where $p(x)$ is a polynomial?

Is there any existing standard terminology for functions of the form $x^\alpha p(x)$, where $p(x)$ is a polynomial and $\alpha$ is e.g. a complex number? I haven't been able to come up with any good ...
Ketil Tveiten's user avatar
1 vote
0 answers
121 views

showing convergence of a function recursion relation

I have obtained (formally) a perturbative solution $$ H(y) = \sum_{n=0}^\infty \delta^n H_n(y) $$ to the following integro-differential equation ($\delta$ is a small constant, $\nu$ is a L\'evy ...
psyduck's user avatar
  • 351
1 vote
0 answers
466 views

Bounding point-wise maximum of the absolute difference of two convex functions

Let $\Delta: R \times R \rightarrow R_{+}$ be a positive and convex function (convex in, say, both the arguments) called the loss function. Let $x \in R^d$. Moreover, let $H_1,...,H_r$ be sets of ...
Rajhans's user avatar
  • 11
2 votes
0 answers
366 views

Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?

Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with weak-$*$ topology (weak topology induced by the continuous functions). Consider a ...
Wolfgang Loehr's user avatar
0 votes
0 answers
268 views

Is the absolute value of the j-invariant bounded from below on an annulus

Let $j:\mathbf{H}\to \mathbf{C}$ be the $j$-invariant. It's a modular function for $\Gamma(1) = \textrm{PSL}_2(\mathbf{Z})$. For $\epsilon>0$ small, let $B(\epsilon)$ be the image of the strip $$\{...
Taicho's user avatar
  • 225
0 votes
1 answer
319 views

Hilbert space automorphisms realized as induced by transformations of some base-spaces

Following question may be soft. Fix abstract hilbert space H and consider any automorphism A in banach-spaces sence (i.e. no conditions on metric). Call A is realizable if exist measure space $(X,\mu)$...
Bad English's user avatar
1 vote
0 answers
57 views

Looking for CDFs that I can integrate a particular transformation of

I need two CDFs $G$ and $\lambda$ with unbounded support such that I can integrate $$ \int_{-\infty}^t \lambda(a(x+b))dG(x), $$$a>0,b\in\Re$. As far as I can tell, there exist no functions that ...
Liam's user avatar
  • 11
13 votes
0 answers
564 views

Symmetric (extended) Haagerup tensor product

Given a von Neumann algebra M, then the weak$^*$ (or extended) Haagerup tensor product of M with itself is the collection of $\tau\in M\overline\otimes M$ with $$\tau=\sum_i x_i\otimes y_i$$ the sum ...
Matthew Daws's user avatar
  • 18.7k
3 votes
0 answers
649 views

Stability by flat base change of certain properties

Hi. Let $f:X\rightarrow S$ be a surjective proper, open morphism of reduced or without embedded component complex spaces (or, in alg.geom, surjective proper, universally open morphism of excellent, ...
kaddar's user avatar
  • 435
0 votes
2 answers
146 views

representation of compact supported distribution

Is this true? Any compact supported distribution can be represented as finite sum of partial derivatives of functions.
novi's user avatar
  • 9
1 vote
0 answers
202 views

Weak solution of a certain pde with integral term

Let us consider the following pde on the domain $(0,T)\times(0,1)$ $ \dot{p}(t,x)+v(t)p_{x}(t,x)+v'(t)\int_{0}^{1} \rho(t,s)p_{s}(t,s)\ ds=0 $ with initial data $p(0,x)=p_{0}(x)$ and boundary data $...
Alex's user avatar
  • 11
1 vote
1 answer
154 views

Question about coercivity of a functional

Hi! Let $(M,g)$ be a compact Riemannian manifold without boundary of dimension $2m$. Let $$T:W^{2,2}(M)\rightarrow L^{2}(T^{*}M\otimes TM)$$ be a second order, linear, differential operator (...
Italo's user avatar
  • 1,727
0 votes
1 answer
142 views

A special Integral Kernel

Does there exist either one / general class of non-negative definite , symmetric Integral Kernel map satisfying the following properties ?? $f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$ $K:L^2(\...
user26265's user avatar
0 votes
0 answers
35 views

Approximate rank of the set formed by all delayed replicas of a bandlimited signals between 0 and T

Given a complex-valued signal with a certain delay $s(t-\tau)$ for which we sample $N$ instants $$ \mathbf{s(\tau)}=\left[s(0-\tau),\ldots,s\left(\frac{N-1}{f_s}-\tau\right)\right]^T $$ at Nyquist ...
mermeladeK's user avatar
0 votes
0 answers
191 views

Asymtotic Complexity Analysis using logarithms and binomial coefficients

On page 11 of "Smaller decoding exponents: ball-collision decoding" by Berstein et.al. they have the formula \begin{equation}\lim_{n \rightarrow \infty} \frac{1}{n}\log_{2}\left(\dbinom{k_{1}}{p_{1}}\...
Nick Peterson's user avatar
2 votes
1 answer
196 views

Coefficients of lacunary series on quasiconformally transformed unit disk

Say I have a lacunary $q$ series $s(q)=\sum_{n=0}^{\infty} a_{n}q^{n}$ , and I have a quasiconformal transformation $\xi$ which preserves the boundary of the unit disk in $\mathbb{C}$ such that if $|q|...
graveolensa's user avatar
0 votes
0 answers
164 views

Can we separate Toeplitz matrices for negative and positive eigenvalues?

Consider a Toeplitz matrix T which has both positive and negative eigenvalues. Can we prove that there exist two Toeplitz matrix T1 and T2 such that T1+T2=T and T1 has only one positive Eigenvalues ...
Rantu's user avatar
  • 9
1 vote
0 answers
660 views

Fractional Fourier transform [closed]

Let $T: L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n)$ be the Fourier transform. Is there any reasonable definition of fractional Fourier transform (i.e. operator $A$ such that $A^{\alpha}=T$ for $\...
Marcin Kotowski's user avatar
4 votes
0 answers
90 views

$x\in Ext(B_X)$ has the Kadec property, implies that the slices form a neighborhood base of the norm topology

This is question 3.87 from Fabian's Functional Analysis and Infinite-Dimensional Geometry. The result is credited to Lin and Troyanski. Where on the net can I read a proof of this lemma? Any help ...
superAnnoyingUser's user avatar
5 votes
0 answers
585 views

Studying primes via the gamma function alone: $(x+1)\prod_n \Gamma(\frac{x}{n}+1)^{\mu(n)}$

Various questions on MO concerning the "surprise" occurrence of the gamma function in the functional equation of the Riemann zeta function got me wondering whether the Gamma function alone suffice for ...
David Feldman's user avatar
2 votes
0 answers
331 views

Is there asymptotic expansion of heat kernel of complex laplacian?

On real Riemannian manifold , the heat kernel of the laplacian have an asymptotic expansion . But on complex manifold , i haven't seen a result like this , i.e. the heat kernel of the Kodaira ...
HKSHLZW's user avatar
  • 399
3 votes
0 answers
356 views

Stability of convex sets w.r.t. integration over [0,1]

In the preprint on pages 19−20, first using Hahn−Banach, one proves Lemma 38. For any closed convex set $U$ in a real Hausdorff locally convex space $E$ and for any Riemann integrable $\gamma:[0,1]\...
TaQ's user avatar
  • 3,584
3 votes
0 answers
242 views

Cauchy integral theorem and natural boundaries

Suppose one has function $f(z)$ analytic in the unit disk. Suppose closed loop $L$ lies in the disk except for one point $P$ on the boundary. Then the Cauchy integral theorem generally does not ...
David Feldman's user avatar
2 votes
0 answers
93 views

Inclusions between $L^p$ continuous functions and Triebel-Lizorkin spaces

Working in $\mathbb{R}^{d}$, consider on the one hand the space of continuous $L^{p}$ functions (let's use $V$ to denote this space), and on the other the family $\{ F_ {\alpha}^{p, q} \}_{\alpha, q}$ ...
Jason's user avatar
  • 21
11 votes
0 answers
657 views

For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?

The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...
Łukasz Garncarek's user avatar
5 votes
0 answers
160 views

reference for perturbation of projection result

Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then $$ \|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2). $$ ...
AatG's user avatar
  • 922
2 votes
1 answer
345 views

Is the closure of an open holomorphically convex subset of a Stein space holomorphically convex?

Let X be a Stein manifold and U an open, connected, relatively compact, holomorphically convex subset of X. Is the closure of U in X holomorphically convex? Also, if X is a Stein space with a finite ...
user3566's user avatar
  • 169
1 vote
0 answers
119 views

Boundedness of Riesz transforms.

The Riesz $R_i$ transform on $\mathbb{R}^n$ is defined by $$ R_if(x)= \int_{\mathbb{R}^n} \frac{t_i-x_i}{\vert x-t \vert^{n+1}}f(t) dt$$ for a Schwartz function $f$ on $\mathbb{R}^n$. Can you please ...
nicolas's user avatar
  • 583
2 votes
0 answers
390 views

Boundary behavior of Kähler cone with curvature restriction

Let $(M,\omega)$ be a compact Kähler manifold. The boundary behavior of Kähler cone is very interesting; however,it's hard to understand. A fundamental result is due to Demailly and Paun: they ...
Unknown's user avatar
  • 247
1 vote
1 answer
359 views

Convergence of operators to the identity on Banach spaces

Let $U_\infty$ be a compact space, and let $U_r$ be an increasing family of compact subspaces whose closure is all of $U_\infty$. That is, $U_r \subseteq U_{r'}$ if $r \le r'$ and $U_\infty = \...
Tom LaGatta's user avatar
  • 8,512
5 votes
0 answers
200 views

Diffusion processes in wide generality

It is common knowledge among schoolchildren that one may define jump diffusion processes in wide generality. Hard question: What are the most general structures on which one may define something ...
Tom LaGatta's user avatar
  • 8,512
0 votes
0 answers
520 views

Motivation of proof of Riemann-Roch for elliptic curve and generalizations

Given a lattice $L \subseteq \mathbb{C}$, Alain Robert defines a theta function as a meromorphic function such that $\theta(z+\omega)=a(\omega) e^{\pi h(\omega)(z+\frac{\omega}{2})} \theta(z)$ for all ...
David Corwin's user avatar
  • 15.4k
1 vote
1 answer
124 views

Lifting infinitesimal deformations for coverings

Let $f:X \rightarrow Y$ be an (unramified) holomorpic covering map between two (maybe non compact) complex manifolds. Q: Does every infinitesimal deformation of Y lift faithfully to an infinitesimal ...
user17235's user avatar
0 votes
0 answers
213 views

unbounded plurisubharmonic function

Reading Demailly's Algebraic and Complex geometry in particular chapter 3 about positive currents, tha author defines the unbounded locus $L(u)$ of a plurisubharmonic function $u$ to be the set of ...
alike's user avatar
  • 75
0 votes
0 answers
93 views

Infinite limit in all points

Do there exist a Banach space (possibly nonseparable) $X$ and a mapping $F: X\to X$ such that $$ \lim_{x\to a} \|F(x)\| = +\infty \quad \forall a\in X\quad? $$
Gulnara Sharafutdinova's user avatar
0 votes
1 answer
222 views

Bounding near the boundary for a Sobolev function.

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>\frac{d}{2}$ (i.e. $f$...
alext87's user avatar
  • 3,217
4 votes
0 answers
94 views

Algebraic conditions of separability

Let $X$ be a real vector space (without any norm), and $Y$ be a convex subset of $X$, $0\notin Y$. The goal is to find a hyperplane $L$ passing through 0 such that $Y$ lies in a closed halfspace ...
Fedor Petrov's user avatar
1 vote
0 answers
180 views

iterated traces for sobolev functions

It is well known that if $M$ is a smooth $(n-1)$-dimensional surface in $\mathbb R^n$ (e.g. a subspace) then there is a continuous trace operator $W^{s,p}(\mathbb R^n)\to W^{s-1/p,p}(M)$. Now suppose ...
Mircea's user avatar
  • 2,041
9 votes
1 answer
395 views

Is there a coalgebraic characterisation of the hyperfinite II_1 factor?

Peter Freyd showed that the real interval [0, 1] is a final coalgebra for a functor on sets equipped with two points, which sends such a set to the 'wedge' of two copies of itself, identifying the ...
David Corfield's user avatar
1 vote
0 answers
178 views

Inequalities between self-adjoint operators

Let $T_s$ ($s\ge0$) be a smooth family of non-negative self-adjoint operators in a separable Hilbert space $H$. Suppose that, for some $C'>C>0$, we have $T_0+Cs^2\le T_s\le T_0+C's^2$ for all $s$...
Jesús Álvarez's user avatar
3 votes
0 answers
236 views

Is it possible to "approximate" a compact set of the plane by compact sets with smooth boundary?

Hi, Let $K \subseteq \mathbb{C}$ compact. Suppose that $K$ is connected, and that the boundary of $K$ is a simple, closed, piecewise $C^1$ curve. Denote by $A(K)$ the set of all functions holomorphic ...
analyst11's user avatar
1 vote
1 answer
111 views

Log-nonexpansive functions: terminology and references

During my recent work in the optimization of positive valued functions, the following class of functions proved to be exceptionally important. (Defn.). Let $h: (0,\infty) \to (0,\infty)$ be ...
Suvrit's user avatar
  • 28.6k
3 votes
0 answers
188 views

Does the existence of an asymtpotic density imply the existence of a measure on infinite dimensional (path) space?

This question is related to the following question Question about a Limit of Gaussian Integrals and how it relates to Path Integration (if at all)? A couple of authors have observed that composing a ...
jzadeh's user avatar
  • 265
2 votes
0 answers
53 views

Topology of fibers of operators under C^{\infty} convergence

A smooth family of maps $f_t : L^2 (\mathbb{R}) \rightarrow \mathbb{R}^{n}$ is given, with $t \in (0,1]$. Suppose that when $t \rightarrow 0$ the family restricted to balls of given radius converges ...
Alessandro Gentile's user avatar
2 votes
0 answers
307 views

Collection of charged line segments in 2D - where do electric field lines meet it?

Suppose we have a collection of charged line segments in 2D. I'd like to be able to do two things : from an arbitrary point in the plane, follow the electric field and find where it meets the ...
Michael Hartley's user avatar
1 vote
1 answer
138 views

Estimating norms of derivatives

Let $(M,g)$ be a closed, compact Riemannian manifold. Let $u$ be a smooth function. Let $H^{-k}(M)$,, $k$ is a positive integer, be the dual Hilbert space of $H^{k}(M)$. Does it follow that $|| |\...
Viktor Bundle's user avatar
2 votes
2 answers
317 views

Bibliography for topologies defined by a family of seminorms

Hello I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource. Thank you very much.
Learner's user avatar
  • 143
6 votes
0 answers
639 views

Hilbert subspaces of indefinite inner product spaces

Let $E$ be a real linear space, endowed with a non-degenerate symmetric bilinear form $(.,.)$. Suppose that the [indefinite] inner product space $(E,(.,.))$ satisfies the following [sequential] ...
Ady's user avatar
  • 4,060
1 vote
1 answer
316 views

how to prove the relationship between pseudoconvexity and the monge-ampere matrix?

In several complex variables , to determine the pseudoconvexity of a domain in $C^n$ is very important . There are various criterion to decide whether a domain is pseudoconvex . In particular ,if ...
HKSHLZW's user avatar
  • 399