All Questions
Tagged with real-analysis or linear-algebra
11,369 questions
3
votes
1
answer
175
views
Convergence rate of the sum of squares of inverse distances of random points which become dense in a region
$n$ points $\{X_i\}$ are drawn at random from a uniform distribution over a domain $\Omega\subset \mathbb{R}^m$ with a Lipschitz boundary. $D_n$ is defined as $$D_n = \sqrt{\frac{1}{\sum\limits_{1\le ...
- 698
0
votes
0
answers
31
views
What is the Fisher information matrix of the von Mises-Fisher distribution?
Assuming the von Mises-Fisher distribution as
$$f_{p}(\mathbf{x}; \boldsymbol{\mu}, \kappa) = C_{p}(\kappa) \exp \left( {\kappa \boldsymbol{\mu}^\mathsf{T} \mathbf{x} } \right),$$
where $\kappa \ge 0$,...
- 287
2
votes
0
answers
58
views
An s-convex function lying between two convex functions
Let $f: \mathbb R_{+} \to \mathbb R_{+}$ be an $s$-function in the second sense, i.e.,
$$ f(\lambda x +(1-\lambda)y) \leq \lambda^s f(x) +(1-\lambda)^s f(y)$$ for every $\lambda \in (0,1)$. Assume ...
- 55
0
votes
0
answers
96
views
When can a point be reconstructed from relative angle measurements?
Given a set of points $p_1,\dots,p_n$ in $\mathbb{R}^d$ and a target point $x\in\mathbb{R}^d$, I measure all the angles between all pairs of points and the target point. In other words, I have the ...
- 427
0
votes
0
answers
54
views
Inequality between inverses of real functions
Let $s\geq 0$ and
$$
f(x)=-\log(x) \quad\text{an}\quad g(x)= \log(\log(1/x)+1)$$ for all $x\in(0,1)$. Is there exists $C_s>0$ such that for all $x,y\in(0,1)$,
$$
f^{-1}(s g(x)) \cdot f^{-1}(s g(y))...
- 39
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
14
votes
0
answers
602
views
Is the Zariski density proof of Cayley-Hamilton circular?
This old MO thread and its comments contains a discussion of the Zariski density proof of Cayley-Hamilton (I have also asked a separate question about the proof Victor gives in the comments here). ...
- 118k
24
votes
3
answers
866
views
Mark some vectors in $\mathbb{R}^n$ in a way that every orthonormal basis has an odd number of marked vectors
Let $n$ be a natural number. Is there a set $S$ of vectors of norm $1$ in $\mathbb{R}^n$ such that every orthonormal basis of $\mathbb{R}^n$ contains an odd number of vectors from $S$?
If $n$ is odd, ...
- 679
1
vote
0
answers
100
views
Difference of two completely monotonic functions
We know by the Hausdorff-Bernstein-Widder theorem that any completely monotonic function on the positive half line $[0, \infty)$ is given by the Laplace transform of a positive Borel measure on $[0, \...
0
votes
0
answers
237
views
Pair of real functions satisfying some conditions
Consider two functions $\psi$ and $\varphi$ defined on the interval $(0,c)$ where $c\in(0,+\infty)$ and they exhibit the following characteristics:
$\psi$ and $\varphi$ are continuous, positive, and ...
- 39
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
- 434
1
vote
2
answers
209
views
Approximate simple function $f$ by a sequence of continuous functions on $\mathbb{R}^d$ such that $\|f_n\|_\infty\leq \|f\|_\infty$
Let $f=\sum_{i=1}^n c_i 1_{\Delta_i}$ be a simple function on $\mathbb{R}^d$, where $c_i\in\mathbb{C}$. Then we can find sequnces of continuous functions $\{f_k^{(i)}\}$ for each $i=1,\ldots,n$ such ...
- 29
1
vote
0
answers
58
views
Asymptotics of Jacobi form
What are the large $x\in\mathbb R$ asymptotics of $f(x)=\theta_3(c_1+c_2 x^3,e^{-x^2})$ where $c_1,c_2$ are a pair of complex numbers (say, $\Re(c_2)>0$ and $\Im(c_2)<0$), and $\theta_3(a,b)=\...
- 11
4
votes
1
answer
184
views
Is there a nice basis for a pair of linear maps?
By using splitting fields I know you can put a (single) matrix in upper triangular form. This gives in my opinion the cleanest proof of the Cayley-Hamilton theorem.
consider the following...
WRONG ...
0
votes
0
answers
63
views
Calculating hyperbolic Fourier series
Question:
is it possible to uniquely express functions locally as infinite sums of hyperbolic sines and cosines
$f(x)=\sum\limits_{i=0}^\infty \alpha_i\sinh(i\cdot x)+\beta_i\cosh(i\cdot x)$
or even ...
- 13.2k
2
votes
0
answers
79
views
Does every $(n-1)^2 + 1$-dimensional subspace of $n\times n$ Hermitian matrices that contains identity, contain a rank-1 matrix?
Let $M_i$, $i=1,\dots,(n-1)^2+1$, $M_1 = 1_{n\times n}$ be a set of linearly-independent Hermitian $n\times n$ matrices. Show that there exists a rank-1 matrix $P$, which is a linear combination of $...
- 628
2
votes
1
answer
326
views
Full rank of Hadamard product matrix
Let $\circ$ be the Hadamard product and consider two matrices $C \in\{0,1\}^{N \times n}$ and $W\in \mathbb{R}^{N\times n}$:
$$
C:=\left[\begin{array}{cccc}
c_1^1 & c_2^1 & \cdots & c_n^1 \...
- 43
0
votes
0
answers
22
views
Eigenvalues of Composition of Hadamard Operations of Low Rank Matrices
I am interested in the eigenvalues of $$ee^T \oslash (aa^T - a^{\odot2}(a^{\odot2})^T )^{\odot \frac{1}{2}},$$ where $a \in \mathbb{R}^n$ and $e$ is the vector with all entries equal to one.
Can we ...
0
votes
0
answers
93
views
Orthogonalization of symmetric non-degenerate bilinear forms
It is well-known that given a field $k$ with characteristic different from $2$, every symmetric non-degenerate bilinear form $B$ over a finite-dimensional space can be orthogonalized. This means that ...
- 1,485
0
votes
0
answers
56
views
What is the maximum of $ \frac{\sin(n(x+a))}{\sin(x+a)} + \frac{\sin(n(x-a))}{\sin(x-a)}$?
I have asked this here. Due to inactivity and no satisfying answers, I am asking here. Hope that's okay.
We know the global maxima of the function $\frac{\sin(nx)}{\sin(x)}$
is $n$ (thanks to this ...
- 113
6
votes
2
answers
225
views
On a trigonometric inequality by Huygens
The following inequality, ascribed to Huygens, appeared in this post:
\begin{equation*}
1-\frac43\,\frac{\sin^3\theta/2}{\theta-\sin\theta}
>(1-\cos\theta/2)\Big(\frac35-\frac3{1400}\frac{\...
- 128k
7
votes
1
answer
580
views
Sobolev spaces are smooth? Their dual is strictly convex?
Do you know any reference which says something about the:
Smoothness of the Sobolev space $W^{1,p}(\Omega)$ i.e. if the duality mapping $J\colon W^{1,p}(\Omega)\to W^{1,p}(\Omega)^*$ is a singleton.
...
- 1,759
4
votes
0
answers
284
views
Institutional approach to linear algebra
In Diaconescu's book Institution Independent Model Theory, it is mentioned on p. 37 that linear algebra can be viewed as an institution. Specifically, we have the following
Definition. An institution ...
- 10.1k
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 765
1
vote
1
answer
142
views
Operator norm of some type of discrete Fourier matrix
Let $N$ be a natural number and let $w$ be a complex number.
We define the $N\times N$ matrix $C_w=(a_{k,l})_{k,l=1}^N$ as follows,
$$
a_{k,l}=\begin{cases}1 & l=k+1\\
w &...
- 4,058
1
vote
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
- 765
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
- 75
7
votes
5
answers
513
views
Probability of $\operatorname{Bin}(n,p)=\operatorname{Bin}(n,q)$ is decreasing when $n$ increases
$\newcommand{\Bin}{\operatorname{Bin}}$I would like to show that $\mathbb P(\operatorname{Binomial}(n,p) = \operatorname{Binomial}(n,q))$ decreases when $n$ increases for a fixed pair $(p,q)$. This ...
- 243
4
votes
1
answer
255
views
Asymptotic behavior and of an integral on a d-dimensional torus
I am trying to evaluate the asymptotic behavior of the following integral as $t \to \infty$:
$$
I(t; \mathbf{v}) = \int_{[-\pi, \pi]^d} \frac{\sin(t f(\mathbf{k}))}{\sin(f(\mathbf{k}))} e^{i t \mathbf{...
- 81
1
vote
1
answer
62
views
Integrability in the product space can follow from a property of the Nemytskii operator?
Let's say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$ is a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where ...
- 1,759
2
votes
1
answer
122
views
Is it possible to solve this kind of quadratic simultaneous equations?
$$\mathbf{x} = (x_1, x_2, ..., x_N)^T \in \mathbb{R}^{N} \\
\mathbf{A}_i \in \mathbb{R}^{N \times N},
\mathbf{b}_i \in \mathbb{R}^N ,
\mathbf{c}_i \in \mathbb{R}\\
\mathbf{x}^T\mathbf{A}_i\mathbf{x}...
- 23
0
votes
0
answers
115
views
Integral of a measurable function with parameter is measurable?
Say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$, where $\Omega\subset\mathbb{R}^N$ is an open set, is a function such that:
$f(x,\cdot)\in L^1_{\text{loc}}(\mathbb{R})$ for a.a. $x\in\Omega$
$f(\...
- 1,759
5
votes
1
answer
429
views
Lower bound for the rank of the sum of $n$ matrices
I found a mathematical note by George Marsaglia entitiled "Bounds for the rank of the sum of two matrices", where he proves the following result.
Let $A_1$ and $A_2$ be two complex matrices ...
- 5,215
1
vote
0
answers
175
views
Solution of recurrence relation with summation
I have the following recurrence relation:
$$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
- 47
3
votes
1
answer
99
views
Eigenvectors of $P^\top P$ for 0/1 matrices $P$
Let $P$ be an $m \times N$ matrix of zeros and ones (think $N \gg m$), and let $\mathbf{u} \in \mathbb{R}^N$ be a unit vector satisfying $P^\top P\mathbf{u} = \lambda^2 \mathbf{u}$ for some $\lambda &...
- 161
3
votes
1
answer
252
views
Two isotropic subspaces in a symplectic vector space
Let $k$ be a field of characteristic $0$, let $V$ be a finite-dimensional vector space over $V$, and let $\omega(-,-)$ be a symplectic bilinear form on $V$. In other words, $\omega(-,-)$ is an ...
- 33
3
votes
1
answer
189
views
Rank properties of matrix valued in linear forms
Let $R(X,Y) \in \text{Mat}_{d,d+1}(\mathbb{C}[X,Y]_{(1)})$ be a $d \times (d+1)$-matrix valued in linear forms $\mathbb{C}[X,Y]_{(1)}:= \{aX+bY \ \vert \ a,b \in \Bbb C \}$.
Let denote $v_j(X,Y)$ its $...
- 6,018
0
votes
0
answers
63
views
Arrangements of fixed $k$-polyplets in a $n\times n$ matrix
Recently, I asked a question about the number of arrangements of $k$ elements inside a $n\times n$ matrix with certain restrictions. The one I´m actually interested in for this question is in its 2. ...
- 47
0
votes
0
answers
79
views
Is the Bures metric equivalent to the Euclidean one?
Let $K=\mathbb R$ (reall numbers) or $K=\mathbb C$ (complex numbers). Define $\mathcal M_n$ to be the space of $n\times n$ matrices $A=(a_{i,j})_{1\le i,j\le n}$, with $a_{i,j}\in K$. Let $\|\cdot\|$ ...
- 1,334
8
votes
4
answers
379
views
Traceless Hermitian matrices with simultaneously vanishing Rayleigh quotients
Let $D$ be an integer greater than 1. What is the largest number $N$, such that for all sets of $N$ Hermitian $D\times D$ traceless matrices $M_i$, $i=1,\dots,N$, there exists a non-zero complex ...
- 628
2
votes
1
answer
246
views
Ramsey type property of the Lipschitz constant
The following problem was proposed by Pietro Majer as an extension of an earlier question of mine on Lipschitz functions.
For $f$ a Lipschitz function on $\mathbb R^n$, we denote by
$$\text{Lip}(f, U) ...
- 6,155
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,155
0
votes
0
answers
43
views
Absolute value of elements of b=Ax and the minimum singular value of A
For $b=Ax$, is there a way to relate the minimum absolute value of the element of $b$, $\min|b_i|$, and the minimum singular value, $\sigma_\text{min}$, of $A$?
What I want is something like: $\sigma_\...
2
votes
0
answers
75
views
Smallest dimension, on which a set of matrices acts non-trivially
Let $A_i$, $i=1,\dots,N$, be a finite set of $D<\infty$ dimensional Hermitian matrices. Let $d$ be the smallest number for which there exists a unitary $D$-dimensional matrix $U$, and Hermitian $d$-...
- 628
1
vote
1
answer
391
views
How one can show that this matrix is full rank?
Fix $d\in\mathbb{N}$ and consider $e_{i,j}\in\mathbb{C}$ for $i=1,\dots,d+3$ and $j=1,\dots,d-1$. Suppose to have the following matrices
$$N_{i,1}=\begin{pmatrix}
1 & 0 \\
e_{i,1} & 1
\end{...
- 11
1
vote
2
answers
231
views
A real root of a cubic equation for a stationary point
Let us consider the quartic polynomial in $x$
\begin{equation}
F(x) = (2 a p +2)x^4+ (6a(1-a)p^2+(6-12a)p-6)x^3
+ p(2(a-2)(a-1)a p^2 + 3(5a^2-9a+2)p +12a-18)x^2
- p^2 ((a-2)(4a^2 ...
- 371
1
vote
1
answer
204
views
A question on Borel measurability
Let $(X, \mathcal{B}_{X}, \mu)$ be a measure space. Here, $\mu$ is an infinite Borel measure and $\mu$ is not $\sigma$-finite. Let $\pi$ be surjective Borel measurable map form $(X, \mathcal{B}_{X}, \...
- 11
0
votes
0
answers
40
views
Eigendecomposition of Toeplitz matrix
I am working with Toeplitz matrix, I know that a Toeplitz Matrix $T$ can be decompose as a sum of a circulant and skew circulant matrix which can be diagonalized using the DFT matrix
$T=C+S = F\...
- 1
5
votes
1
answer
279
views
Is there a theorem which provides conditions under which a power series satisfies the reciprocal root sum law?
Kalman - Six ways to sum a series discusses Euler's original proof for the Basel problem $\sum\limits_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6} $:
$$\frac{\sin(\sqrt x)}{\sqrt x} = 1- \frac{x}{3!}+ \...
- 541
5
votes
1
answer
229
views
Intersection between Lipschitz domains
Let $\Omega\subset\mathbb{R}^N$ be an open, bounded and connected Lipschitz domain. Is it true that we can find some $R>0$ such that any $N$-dimensional open ball $B(x,r)$ with $r\leq R$ that ...
- 1,759