All Questions
12,776 questions
0
votes
0
answers
381
views
Help with an irregular integral
I am looking for help with doing the following integral :
$$\frac{1}{2\pi i}\int_{1}^{\infty}\ln\left(\frac{1-e^{-2\pi i x}}{1-e^{2\pi i x}} \right )\frac{dx}{x\left(\ln x+z\right)}\;\;\;\;z\in \...
- 181
0
votes
0
answers
335
views
A basis of the space of continuous function of countable ordinals $C(\alpha) = C [0, \alpha]$
A basis of the space of continuous function of countable ordinals $C({\alpha}) = C [0, {\alpha}]$, which consist of characteristics functions of clopen subsets of $C({\alpha})$, in some order. But can ...
- 1
0
votes
0
answers
80
views
relationship between different function classes
I was wondering if there is a survey of relationship between several different well-studied function classes ?
ps - The question may be vague but I am looking for something along the lines of - http:/...
- 1
0
votes
0
answers
218
views
Series of linear maps: on a paper by Evans and Hanche-Olsen
I was reading this paper by Evans and Hanche-Olsen. In theorem 2, there are six equivalent statements given. I write just two of them, which I want to use.
Let $L$ be a bounded self-adjoint
...
- 421
0
votes
0
answers
231
views
Pure greedy algorithm
I study pure greedy algorithms in different basises. I am interested in 1 one question: is there such a Riesz basis $D$ in Hilbert space and $f\in H$ such that
$\|f-G_m(f,D)\|>Cm^{-1/2}\lvert\{f}\...
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
0
votes
1
answer
177
views
Laurent series with analytic coefficients
Let $A=H(D(0,1))$ the ring of holomorphic functions on the open unity disc.
I consider the function $f$:
$$f (t)=\sum f_{i}t^{i} \in A[[t]]$$
I suppose that the $t$-adic valuation of it is less or ...
- 3,472
0
votes
0
answers
183
views
Continuity of the Shadow of a Nondecreasing Function
So I'm working a lot with monotone nondecreasing functions $f : [0,1] \rightarrow [0,1]$, and I'm defining a certain discrete dynamics on them. Here nondecreasing means $x < y \Rightarrow f(x) \leq ...
- 485
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(\...
- 17
0
votes
0
answers
186
views
Properties of Eigenfunctions of a Kernel
I'm a newbie and may be this question is bit simple for you but pardon me if it's too simple and provide me some references.
I've and Kernel function $K(x,y)$
$f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$...
- 17
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 ...
- 9
0
votes
0
answers
255
views
Convergence of a function in a metric space to its metric.
Given a metric space $(\mathbb{A},d)$ in $\mathbb{R^n}$ with a metric $d$ being the Euclidean metric:
If $\lim_{t \rightarrow \infty}||A_{t+1}-A_t||\rightarrow 0$ is a convergent sequence where $A$ ...
- 101
0
votes
0
answers
73
views
A constrained prolongement
Let $\Omega$ be a domain of $R^n$, let $\omega$ be open subset of $\Omega$ and let $\theta \in W^{2,\infty}(\omega).$
I am wondering about the existence of a function $\tilde{\theta} \in W^{2,\infty}...
- 25
0
votes
0
answers
143
views
description of a convex set of functions
Hi everyone,
I have a question about the characterization of a set of functions.
Let $\Phi$ a set containing all the functions $\phi(x): \mathbb{R}_+\rightarrow \mathbb{R}_{+}$ that satisfy the ...
- 69
0
votes
0
answers
191
views
Differentiability of minimax objective function with respect to a decision variable
I have the following optimization problem:
$$\text{find } x= \min_{a} \max_{\lambda\in\Lambda} |R(h\lambda)|$$
where $\Lambda$ is some finite, fixed set of complex numbers and $R(z)$ is a ...
- 1,253
0
votes
0
answers
100
views
Is this set of curves discrete?
Let $\alpha_1, \dots, \alpha_n$ be complex numbers whose sum is zero and $u_1, \dots, u_{2g-2+n}$ be pariwise distinct nonzero complex numbers. Consider the the set of smooth genus g curves with n+1 ...
0
votes
0
answers
227
views
Hermite function expansion
Let $f$ be a continuous function on $\mathbb{R}$ with compact support and unique maximum. Form the functions
$$
F_{n,k}(x)=f^n\left(x-\frac{k}{2^n}\right), k \in Z, n>0
$$
I am wondering if one ...
- 71
0
votes
1
answer
448
views
Uniform convergence of a series to exponent [closed]
I'm trying to prove that in the complex plane $\left(1+\frac{z}{n}\right)^n$ converges uniformly to $e^z$ in every closed disc $|z|\leq c$. I thought about showing the sequence as a logarithm of ...
- 3
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
446
views
About an integral transform or generalized Laurent series
We start with a little of context. I needed that a function from $\mathbb{R}^+$ to $\mathbb{R}$ could be represented in the following form, not necessarily uniquely:
$$
K(z)=\int_{-\infty}^{\infty}A(\...
- 157
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
0
votes
0
answers
395
views
The ratio of two strictly increasing functions
Given:
\begin{equation}
f_1(a)=\sum_{i=1}^{k^*-1} \left(\begin{array}{c}
K \\\
i \\
\end{array} \right) \left(-1-\frac{1}{ar}\right)^i
\end{equation}
\begin{equation}
f_2(a)=\sum_{i=1}^{k^*-1} ...
0
votes
0
answers
606
views
partial differential equations with mixed boundary conditions
hi,
does anyone know some good references (books, papers) on partial differential equations with mixed boundary conditions ?
actually I am intrested in the following: Let $f(x)=(f_{1}(x),...,f_{n}(...
- 89
0
votes
2
answers
424
views
Unbounded sequences in Banach spaces
Let $X$ be a Banach space and let $T$ be a bounded operator acting on $X$. Suppose for each linearly independent unbounded sequence $(x_n)$ in $E$, the sequence $(Tx_n)$ is unbounded. Must $T$ be ...
- 181
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}}\...
- 101
0
votes
0
answers
184
views
Extension of closed linear functionals...
If f is a closed linear functional defined on a dense subspace of a Banach space X, and, consider f1 which is an extension of f to X, is there a way to show that f1 is also closed without invoking the ...
- 55
0
votes
0
answers
173
views
Implications of complex solutions of Matiyasevich / Chaitin diophantine polynomials.
This is a shot in the dark: In twf:202, an isomorphism $T\cong T^{7}$ between binary trees $T$ and seven tuples of binary trees T^{7} is mentioned. The argument for this isomorphism starts with the ...
- 975
0
votes
0
answers
169
views
Is degree a "strict -transform" birational invariant for surfaces in the complex projective 3-space?
(Edit) My question is as follows: My previous question was about a kind of "strict-transform birational" invariant not birational invariants as usual. So I just delete the question since it ...
0
votes
0
answers
104
views
Differential equation with switched parameters and boundary conditions in integral form
Sorry for the title, I didn't find a better description (showing that I have no idea for the solution). Feel free to put in a better title and change the tags if you can grasp a view on the problem.
...
- 43
0
votes
0
answers
138
views
Notion of simplicity of a function(al)
Given a function (functional actually) $f(x,g(x))$, can a notion of simplicity be attached with respect to the function $g(x)$? (all functions and args are real).
Specifically, intuitively one could ...
- 59
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 ...
- 75
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
0
votes
1
answer
130
views
Maximal length vector under constraints
Consider a criculant symmetric $M$ an $n \times n$ matrix with $0$ and $1$ entries and $r$ entries of $1$ in each row with the diagonal values taken as $1$. I am looking for a $0-1$ vector $v$ with ...
- 800
0
votes
0
answers
624
views
zeros of a holomorphic function in several variable
Let $f$ be a holomorphic function in $n$ complex variables on a domain $D\subset \mathbb C^n$. Let $S$ be a subset of $D$ such that for a polynomial $P$ in $n$ variable, $P(S)=(a,b)$ for an interval $...
- 415
0
votes
0
answers
436
views
cokernels of semi-Fredholm operators
I did not find a reference for the following question, so I will pose it here. I think the answer should be elementary.
Let $F:X\rightarrow Y$ be a semi-Fredholm operator between Banach spaces, i.e. $...
- 2,935
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 $$\{...
- 225
0
votes
0
answers
819
views
Possible application of Rouche's theorem to aproblem of complex roots of polynomials
The following holds:
Let $P(x)$ be a polynomial in one variable $x$ of degree $3$ with complex coefficients
such that
a)
$$
P(-1)=P(1)=0
$$
Then
b)
the formal derivative $P^{'}(x)$ has a root in ...
- 1,641
0
votes
0
answers
155
views
General form of a symplectic map
A symplectic automorphism of a Hilbert space has the form $T=U(\cosh S+J\sinh S)$ for a unitary $U$, an antilinear involution $J$ and a positive operator $S$. In fact a version of this goes through in ...
- 1,411
0
votes
0
answers
298
views
High dimensional beta integral (question following the previous post)
Hello,
This post is a question following the previous post. In one dimensional case, we have
$$
\int_0^x |y|^{1-\alpha} |x-y|^{1-\beta} d y = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} |...
- 1,649
0
votes
0
answers
388
views
Global index of convexity/concavity of a function
We are looking for a global index of the convexity/concavity of a function.
For concreteness, how can I formalize the intuitive notion that a function $f$ is more convex than $g$ where $f,g:[0,1]\...
- 111
0
votes
1
answer
503
views
When are operators extended by linearity bounded?
Greetings.
Suppose that $H$ is a separable infinite-dimensional Hilbert space and that $M$ is an infinite
dimensional closed subspace of $H$. Suppose that {$v_{n}: n\ge 1$} is an infinite linearly ...
- 129
0
votes
0
answers
841
views
covariant derivative complex manifold
Assume we have $X$ a complex manifold and $Y = Y^{\alpha} \frac{\partial}{\partial z^{\alpha}}$ and $Z = Z^{\alpha} \frac{\partial}{\partial z^{\alpha}}$ two vector fields on $X$. Let $\nabla$ be the ...
- 23
0
votes
0
answers
301
views
Lifting of product of a Banach algebra
Let $A$ be a non unital Banach algebra. The product induces a bounded linear map $T:A \otimes_{\gamma} A\to A$ where $\otimes_\gamma$ denotes the Banach projective tensor product.
A lifting of $T$ is ...
- 1,222
0
votes
1
answer
1k
views
Linear Mapping and integration
I have been reading the paper - "Introduction to Quantum Fisher Information".
In section 1.2 the author talks about the linear map $\mathbb{J}_D$, which he defines as follows:
Let $D \in M_n$ be a ...
- 145
0
votes
0
answers
362
views
Gradient of the energy functional in $H^{1,2}$-norm
I have to use estimates for the gradient of the energy functional on the free loop space of a fixed compact manifold $Q$. As such, one considers $H^{1,2}$-maps of the circle into $Q$. The energy ...
- 2,935
0
votes
0
answers
320
views
A result about Fredholm operator
When I read the article "Index Theory" in Handbook of global analysis, I meet a result as below(Corollary 2.13):
If every $F_0\in \mathcal {F}(H_1,H_2)$, there is an open neighborhood $U_0\subseteq \...
- 381
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 ...
- 15.4k
0
votes
1
answer
122
views
Existence of an eigenpair for d-bar operator in the unit disck
Let $\overline{\partial}=\frac{1}{2}(\partial_{x}+\textrm{i} \,\partial_y)$ and let $D$ be the unit disc in the complex plane. For each $\lambda \in \mathbb C$, consider the problem:
$$ \overline{\...
- 4,143
0
votes
1
answer
226
views
Subspaces of $H^{\infty}(\mathbb{D})$ which contains a nontrivial weak* closed subalgebra
Let $H^{\infty}(\mathbb{D})$ denotes the Banach space of bounded holomorphic functions in the unit disc. Consider the weak* topology on $L^{\infty}(\mathbb{T})$
that it inherits as the dual of $L^{1}(\...
- 175
0
votes
1
answer
440
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 \ .$$
If I am not ...
- 1