All Questions
17 questions from the last 7 days
4
votes
1
answer
718
views
Can the Pythagorean theorem be proved using imaginary numbers?
Can the Pythagorean theorem be proved using imaginary numbers? The proof must avoid circular reasoning, of course.
I asked essentially the same question at MSE, but did not receive a definitive answer,...
- 3,567
5
votes
2
answers
84
views
On the continuity a function given by evaluating compact subsets of smooth functions
Let $M$ be a compact connected smooth manifold. Write $C^{\infty}(M)$ for the Frechet space of the smooth real-valued functions on $M$ equipped with the usual $C^{\infty}$-topology.
Given a compact ...
- 557
4
votes
1
answer
286
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
- 20.2k
-3
votes
1
answer
104
views
when does $h$ exist?
Let $\zeta(s)$ denote the Reimann zeta function in the critical strip. It is easy to see that $$ \zeta(s) = 0 \Longleftrightarrow \Re(\zeta(s))+\Im(\zeta(s)) = 0 ~~~~ \text{and} ~~~~~~ \Re(\zeta(s)) \...
2
votes
0
answers
116
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
- 20.2k
12
votes
0
answers
115
views
When could a diligent calculus student compute all Picard iterates algebraically?
As is well known, in the typical proof of the Picard–Lindelöf theorem, one shows the existence of a solution of the initial value problem $y'(t) = f(t,y(t))$, $y(t_0) = y_0$ by considering the Picard ...
- 13.1k
3
votes
0
answers
91
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
- 1,101
2
votes
0
answers
80
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
-5
votes
0
answers
85
views
Every smooth function contains a bijection [closed]
Let $f:\mathbb{D}\rightarrow \mathbb{R}$ be a continuous non-constant over $\mathbb{D}$. Is there always a subset $\mathbb{A}\subseteq \mathbb{D}$ such that $f:\mathbb{A}\rightarrow \mathbb{R}$ is a ...
3
votes
0
answers
89
views
+50
Tight upper bound for $m[Q^k - Q^{k+1}]$ for completely positive linear maps
Let $m: \mathcal{L}(\mathbb{R}^{d \times d}) \to \mathbb{R}$ be the function
$$
m[H] = \frac{\lambda_{\max}(H[\mathbf{I}])}{\lambda_{\max}(H)},
$$
where $\lambda_{\max}$ denotes the largest eigenvalue....
- 73
-4
votes
0
answers
62
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=...
1
vote
0
answers
53
views
Description of all biholomorphic maps from annulus [duplicate]
Consider the collection $\mathcal{C}$ of all maps $f \colon B_1 -\overline{B}_\beta \to \mathbb{C}$ such that $f$ is biholomorphic onto its image. Is this collection $\mathcal{C}$ path-connected?
In ...
- 11
0
votes
0
answers
46
views
Fractal dimension using wavelets [closed]
I'm trying to estimate the fractal dimension of a function.
I created the log(energies) Vs log(scales) plot and I'm computing the Fractal Dimension (D) from the slope using the relation
$$
\alpha = -...
-3
votes
0
answers
76
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
0
votes
0
answers
67
views
$L_1$ norm of $f\in L^1(\mathbb{R}^n)$ compactly supported and its change of variable
Let $M\in\mathbb{R}^{n\times n}$ be an invertible matrix, denote its induced linear map on $\mathbb{R}^n$ also by $M$, and let $f\in L^1(\mathbb{R}^n)$ be compactly supported.
I am wondering if we can ...
- 91
2
votes
0
answers
50
views
Convergence of finite-difference method for Cauchy-Riemann equations
Let $I\subseteq \mathbb{R}$ an open interval. Let $f:I\rightarrow \mathbb{C}$ real analytic. Suppose we want to numerically compute an analytic extension of $f$.
We will assume the following: we are ...
- 312
0
votes
0
answers
25
views
Closed form of $\frac{1}{{\pi}^n}\sum_{k\in \mathbb{Z}^n}\prod_{j=1}^n\frac{1}{1+(m_{j}^{T}k)^2}$
Given vectors $m_{j}\in\mathbb{Z}^{n},M=(m_{1} \ldots m_{n}),\det(M)\not =0$. Is it possible to find a closed form of:
$$S=\frac{1}{{\pi}^n}\sum_{k\in \mathbb{Z}^n}\prod_{j=1}^n\frac{1}{1+(m_{j}^{T}k)^...
- 231