All Questions
4,339 questions with no upvoted or accepted answers
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
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
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
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
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,145
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
0
votes
1
answer
221
views
Sort-of extension of Young inequality to arbitrary measures
Hello folks,
Suppose we're working in ${\mathbb T}^q$, the $q$-times Cartesian product of $[-\pi,\pi]$ with the endpoints identified. So, $ L^p := L^p({\mathbb T}^q) $.
The Young inequality may be ...
- 1
-1
votes
0
answers
94
views
Why define Schwartz by supremum rather than limit?
The Schwartz space is defined as the set of all indefinitely differentiable functions such that the supremum over the free variable of any (order) derivative times any (order) power is finite.
However,...
- 107
-1
votes
0
answers
53
views
convergence of convolution in Bochner space
I want to prove a well-known fact in $L^p(R^n)$ namely that, the convolution of an element in $L^p$ with an element of $L^1$ is in $L^p$
let: if $u∈L^p (R;X) , f∈L^1 (R)$ and $X$ is Separable and ...
-1
votes
1
answer
86
views
how take weak derivative of norms in hilbert spaces?
Let the following be hilbert spaces with dens inclusions $V ↪H=H^* ↪V^*$. Where $H^*$ and $V^*$ are the duals. $H$ has the product $(*,*)$ and $V×V^*$ has the product $⟨*,*⟩$.
Let $u∈L^2 ([0,T];V); ...
-1
votes
1
answer
214
views
Best approximation of the modulus function
While there is extensive study regarding the best approximation of function with polynomial functions in the real domain, the study of approximation of complex variables becomes much sparse. See this ...
- 149
-1
votes
2
answers
87
views
Limits of integral series
Suppose we have the series of functions:
\begin{equation}
F(x)=\sum_{n=1}^{\infty} f_n(x)
\end{equation}
where convergence is uniform.
Additionally, consider the partial functions of the series:
\...
-1
votes
1
answer
246
views
Determine the singular values of a compact operator in terms of the eigenvalues of an alternating tensor product of operators
Let $H$ be a $\mathbb R$-Hilbert space, $A\in\mathfrak L(H)$ be compact and $$|A|:=\sqrt{A^\ast A}$$ denote the square-root of $A$. By definition, the $k$th largest singular value $\sigma_k(A)$ of $A$ ...
- 167
-1
votes
1
answer
124
views
Borel summation
If $f(z)=\sum_{n=0}^\infty a_n z^n$ is a formal power series with complex coefficients, then its Borel transform is defined by
$$B(f)(z)=\sum_{n=0}^\infty a_n \tfrac{z^n}{n!}.$$
Suppose that $f$ and ...
- 139
-1
votes
1
answer
114
views
Construct a probability function on the operator monotone functions, $g(t)=t g(t^{-1})$, fitting certain values
To immediately pose the question of interest to us, without first expanding upon its (quantum-information-theoretic) origin—we seek a univariate function $f$, for which we have the ("two-qubit ...
- 723
-1
votes
1
answer
406
views
Topological properties of complex valued Riemann sum limit curve and a particular integral inequality
I am studying under what conditions the following integral inequality would hold ($a$ real, $a>0$):
$$ \int_{-\infty} ^{\infty} \frac{f(ix)}{a\pm ix}dx\ = 0 \ \ \ \ \Rightarrow \ \ \ \int_{-\...
- 362
-1
votes
2
answers
440
views
Motivation for weak solution of a PDE (initial condition)
The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations"
When looking at a (nonlinear degenerate) PDE like
$$ \...
- 1
-1
votes
1
answer
152
views
Question regarding to the basis of L^p space via compact self adjoint operators. ( eg: inverse of -laplacian )
Do eigenfunctions of inverse of elliptic operator (eg: Laplacian) form basis of $L^P(\Omega)$ ? For p=2 we know the answer is yes, I am looking for p>2.
More generally, is it true that eigenfunctions ...
-3
votes
0
answers
55
views
Is the real and imaginary part of the Dirichlet eta function closest to its partial sums when trigonometric function changes signs?
To grasp the question we are concerned with three Theorems 1,2, and 3 in bold font below. First let us consider the Dirichlet eta function $\eta: \mathbb{C}\rightarrow \mathbb{R}$
$$
\eta(s) = \sum_{n=...
-3
votes
0
answers
69
views
Exercise generalizing (related to) Hölder's inequality
I came across this exercise and feel absolutely stuck:
Let $p, q, r \in (1, \infty]$ be such that $1/p + 1/q = 1 + 1/r$. Suppose that $F : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ satisfies ...
- 1