All Questions
7,280 questions
2
votes
1
answer
566
views
Reference for a derivative formula for matrices
I found the identity
$$ \frac{\partial( \det (X^T A X ))}{\partial X} = 2\det(X^TAX)AX(X^TAX)^{-1} $$
On the matrix cookbook (http://orion.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf). It is equation ...
- 2,600
26
votes
3
answers
7k
views
Dual of bounded uniformly continuous functions
Let $(X,d)$ be a metric space, and let $C_u(X)$ be the Banach space of bounded uniformly continuous functions on $X$ (with the uniform norm). How can I characterize its dual space $C_u(X)^*$?
I ...
- 2,409
9
votes
5
answers
2k
views
Homeomorphism of the rationals
In working with the classification of stable vector bundles on $\mathbb{P}^2$, I've found that I need to answer a fairly basic question from analysis/point set topology. Here it is.
Suppose $f:\...
- 11.5k
2
votes
1
answer
413
views
Technique: Compactness => (Finite -> Reals)
Context
I'm studying a classical results of Erdos and Lovasz, on colorings of the real line.
The theorem to be proved is as follows:
Let $m, k$ be two positive integers satisfying:
$$e(m(m-1)+1)k\...
CommunityBot
- 1
0
votes
1
answer
180
views
(probably simple) optimization question
Suppose you have a concave function defined over a non-polyhedral convex cone and you are interested in the infimum. What would be standard approaches to tackle the question? (The cone is actually PSD ...
- 6,962
0
votes
0
answers
176
views
search for a function satisfying some conditions
Hi everyone, I would like to find a function
$$\Psi\in\mathcal{C}^2: z\in\mathbb{R}\rightarrow\Psi(z)\in\mathbb{R_+}$$
satisfying the following conditions:
$$1-\frac{z\Psi'(z)}{\Psi(z)}+8s\Psi''(z)...
- 5,471
2
votes
1
answer
289
views
Can a simple curve intersect every subspace of dim 2 and avoid the origin?
Is there, e.g. in $\mathbb R^4$ a simple curve that does not contain the origin and intersects every subspace of dimension 2?
Sorry if the question is too easy, but I just cannot figure it out.
In ...
- 45k
43
votes
2
answers
4k
views
Square root of a positive $C^\infty$ function.
Suppose $f$ is a $C^\infty$ function from the reals to the reals that is never negative. Does it have a $C^\infty$ square root? Clearly the only problem points are those at which $f$ vanishes.
- 15.3k
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 3,322
1
vote
1
answer
212
views
name for a matrix operation
If $A$ is a matrix and $D$ is a diagonal matrix, is there some special name for $DAD$?
- 20.2k
3
votes
1
answer
464
views
smooth families of analytic functions
My question is essentially whether taking partial derivatives of a smooth family of analytic functions yields again a smooth family of analytic functions.
The precise question is the following:
Let $...
- 16.2k
1
vote
1
answer
3k
views
In Fourier Transforms: Positive Definite Functions, Bochner's Theorem, and Derivatives
I've been reading about Bochner's Theorem lately, but when I apply it to the derivative of a function, I seem to get a contradiction with the theorem.
"Bochner's theorem states that a
positive ...
CommunityBot
- 1
5
votes
1
answer
713
views
Invertible matrix
Let $K$ be a field s.t. $charac(K)\not= 2$. Let $A\in\mathcal{M}_n(K)$ be such that $rank(A)\geq n/2$. Can one find a matrix $B$ such that $B$ is similar to $A$ and $A+B$ is invertible ?
CommunityBot
- 1
1
vote
1
answer
279
views
Conjecture that two nested convex curves have a point with the same slope
I'm trying to prove a conjecture and need some help.
Consider a continuous, twice differentiable function $p(a)$ such that $p(0) = 0$ and $\forall a$, $p'(a) > 0$ and $p''(a) < 0$ and $p$ is ...
- 60.5k
0
votes
0
answers
193
views
Boundedness of Riemann-like sums on unbounded interval
Hi
I am trying to find suitable conditions (integrability, growth...) on a function $f:\mathbb{R}\to \mathbb{R}$ such that:
\begin{equation}
\sum_{k\in\mathbb{Z}}f(kh)h= \mathcal{O}(1),\qquad h\to 0^+...
2
votes
2
answers
561
views
The number of solutions of a matrix equation
Let $P(X) = a_nX^n + \cdots + a_1X + a_0$ be a polynomial, $a_i \in \mathbb{R}$ for all $i$. Set
$$S = \lbrace A \in \mathbb{M}_n: P(A) = 0 \rbrace.$$
We consider the following relation $\sim$ on $S$:...
- 44.4k
6
votes
1
answer
771
views
Eigenvalues of reverse bidiagonal matrices
Is there an easy way of determining if the eigenvalues of a real-valued reverse bidiagonal matrix are real. Basically I have two vectors $(a_1,...,a_n)$ and $(b_1,...,b_{n-1})$ that form the "reverse" ...
- 54.2k
3
votes
2
answers
466
views
Question on a Basel-like sum
Hello all,
I have happened upon the following sum:
$ 1^2 + \Big(1 \times \frac{1}{3} + \frac{1}{3} \times 1 \Big)^2 + \Big(1 \times \frac{1}{5} + \frac{1}{3} \times \frac{1}{3} + \frac{1}{5} \times ...
- 79.9k
5
votes
0
answers
270
views
Differential operators that preserve real-rootedness
Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
CommunityBot
- 1
1
vote
0
answers
158
views
Comparing the volume of a rational lagrangian under a linear symplectomorphism.
Let's fix the standard symplectic structure $(\mathbb{R}^{2g}, \omega, J)$. A (marked) symplectic lattice then has the form $A\mathbb{Z}^{2g}$ for $A \in Sp_{2g}\mathbb{R}$. We say a vector subspace $...
- 2,274
19
votes
3
answers
1k
views
functions from Q to itself with derivative zero
Let $f: {\bf Q} \rightarrow {\bf Q}$ be a "${\bf Q}$-differentiable" function whose "${\bf Q}$-derivative" is constantly zero; that is, for all $x \in {\bf Q}$ and all $\epsilon > 0$ in ${\bf Q}$, ...
CommunityBot
- 1
0
votes
1
answer
721
views
Pointwise limit at Lebesgue's point
Dear MOs,
I am sorry if this problem is too elementary for someone. I just want to get confirmation.
Suppose $f\in L^1(R^d)$. Since almost all points are Lebesgue points by the Lebesgue ...
- 1,786
11
votes
2
answers
2k
views
Groups of matrices that preserve several quadratic forms
Given two (or more) quadratic forms (on the same vector space) consider the group of matrices that preserve these forms, i.e. $Q_i=U Q_i U^T$, $i=1,2..,k$ What is known about such groups? (at least ...
- 536
1
vote
1
answer
496
views
Convergence of Difference Quotients
Let $\gamma_{\varepsilon} \rightharpoonup \gamma$ in $W^{1,\infty}(0,1)$. Then for any fixed $s \in \mathbb (0,1)$ does the limit $\lim_{\varepsilon \rightarrow 0} \frac{\gamma_{\varepsilon}(s\...
- 52.3k
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
- 42.8k
8
votes
1
answer
490
views
ad (A^n) is a polynomial in ad A ?
Let $k$ be a field and $n$ a nonnegative integer. For any matrix $U\in\mathrm{M}_n\left(k\right)$, let $\mathrm{ad} U$ denote the map $\mathrm{M}_n\left(k\right)\to \mathrm{M}_n\left(k\right),\ V\...
- 3,702
0
votes
1
answer
612
views
Calculating a distributional derivative
Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...
- 34.7k
0
votes
1
answer
238
views
A property of a quasiperiodic function
Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...
- 148k
2
votes
1
answer
8k
views
Example of function of bounded variation but not absolutely continuous. [closed]
I know that every absolutely continuous functions are of bounded(finite) variations but converse need not be true. and the cantor function is well-known example of function of bounded variation which ...
- 26
5
votes
2
answers
315
views
Bounding the minimum entry of an inverse matrix
Suppose $A$ is an $n\times n$ stochastic matrix, that is, entrywise nonnegative and row sums are all $1$. If $A$ is invertible, is it true that the minimum diagonal entry of $A^{-1}$ is no larger than ...
- 54.2k
5
votes
4
answers
526
views
Existence of an arbitrary Small positive continuous real Valued Function
Let $(X,\tau)$ be a Tychonoff Topological space.
For each $x\in X$ consider an arbitrary positive real number $\epsilon_x>0$. Is There a continuous real valued function $f:X\rightarrow \mathbb{...
- 9,007
3
votes
2
answers
673
views
Asymptotic number of invertible matrices with integer entries
Let $\|\cdot \|$ be some matrix norm on the space of $n \times n$ matrices. Denote
$$ M(r) := \{ A \in \mathrm{Mat}_{n \times n}(\mathbb{Z}) \mid \| M \| \leq r \}.$$
Denote by $p(r)$ the fraction of ...
- 52.3k
6
votes
1
answer
333
views
construction of matrices verifying an identity
Let $A,B\in\mathbb{R}^{n\times n}$. Suppose that B is nonsingular and $AB\neq BA$. Can we always find real numbers $t_1,⋯,t_p$ such that
$$B\left(\displaystyle\prod_{i=1}^{p}(A+t_{i}B)\right)A=A\...
- 156k
3
votes
0
answers
227
views
Mesh for 3d dungeons game. [closed]
Hallo, I look for some F: R^2->R height function which would generate the Speleothem ceiling http://en.wikipedia.org/wiki/Speleothem for 3d game taking place in dungeons/caves.
The function might be ...
- 139
2
votes
2
answers
408
views
Higher order partial derivatives and global regularity.
Let $f$ be a function of two variables $x$ and $y$. Assume that $f$ is $C^1$. Assume that $f_{xx}$ exists and continuous.
Is it true that $f_{xy}$ exists and continuous?
Is it true that $f_{yx}$ ...
- 314
0
votes
1
answer
3k
views
Is the sum sin(n) bounded? [closed]
I wonder whether the sequence $s_{n} = \sum_{k = 1}^{n} \sin k$ is bounded.
The answer seems no, but I have no idea how to prove this from the irrationality of $\pi$.
- 3,630
0
votes
0
answers
161
views
vector equation
Suppose you have an equation of the form $Hx=Ky$, where $x,y$ are vectors of length $n,m$ respectively ($m>n$) and $H,K$ are matrices of orders $n \times n,n \times m$ respectively. Is there some ...
- 6,962
14
votes
4
answers
2k
views
Eigenvalues of a sum of Hermitian positive definite circulant matrix and a positive diagonal matrix
Suppose I have a real $n\times n$ matrix $\mathbf{C}$ that is Hermitian, positive-definite, and circulant. We know that its eigenvalues $\{\lambda_0,\ldots,\lambda_{n-1}\}$ are extraordinarily nice ...
CommunityBot
- 1
10
votes
2
answers
4k
views
Perturbation theory for the generalized eigenvalue problem
Is there a standard reference for the perturbation theory of the generalized eigenvalue problem?
More specifically, I would like to get a systematic expansion for the problem
$(A_0 + \epsilon A_1)...
- 10.5k
1
vote
0
answers
827
views
Question about Riemann integral and total variation [closed]
Let $g$ be Riemann integrable on $[a,b]$, $f(x)=\int_a^xg(t)dt$ for $x∈[a,b]$.
How to show that the total variation of $f$ is equal to $∫_a^b|g(x)|dx$?
- 16.2k
5
votes
2
answers
780
views
A question about matrices with more details
Let $A,B\in\mathbb{R}^{n\times n}$. Suppose that $B$ is nonsingular and that there exists $m$ reals pairwise distinct $\lambda_{1},\cdots,\lambda_{r},\cdots,\lambda_{m}$ such that
$$B^{-1}A=\...
3
votes
1
answer
352
views
Integral Equation with "convolution"
I've got the following problem I'm working on which is related to some of my research:
Solve:
$f(x) = \int_{-\infty}^x G(x,y)f(y)f(x-y)dy$
for f, given $G$ which has whatever smoothness ...
- 1,687
3
votes
1
answer
491
views
Vanishing on Bad Sets
Let $f: \Bbb{R}^n \rightarrow \Bbb{R}$ be a non-negative function that vanishes on a set $\Omega$ that is compact and has positive measure. What is the minimial amount of regularity required of $f$ to ...
- 60.5k
13
votes
1
answer
2k
views
Hausdorff Dimension and Hölder Continuity
Suppose we have a curve γ : [0,1] -> ℝn. It is well known that if this curve is Hölder continuous for some exponent α then the Hausdorff dimension of γ[0,1] is bounded above ...
- 60.5k
6
votes
0
answers
514
views
concentration for eigenvectors
I am interested in bounding from above the ratio between the maximum and minimum entries of a Perron vector. The only results that I found in the literature are from the classic masters (Ostrowski and ...
- 6,962
6
votes
1
answer
13k
views
what are the conditions for the product of 2 symmetric matrices being symmetric [closed]
In generally, the product of two symmetric matrices is not symmetric, so I am wondering under what conditions the product is symmetric.
Likewise, over complex space, what are the conditions for the ...
CommunityBot
- 1
0
votes
2
answers
194
views
Matrices whose range is equal to the column set [closed]
Is there such a thing?
I suppose there are two cases in which they may exist: over a finite field or infinite matrices (but let's stick to countable matrices then).
- 148k
4
votes
3
answers
4k
views
upper bounds on a certain matrix norm
Is there some simple upper bound on $||(B^{-1}+A^{-1})^{-1}||$, where $A,B$ are $n \times n$ symmetric matrices?
- 54.2k
3
votes
1
answer
447
views
Does a product of matrices have eigenvalue 1
Start by fixing invertible matrics $A_1, \ldots, A_m \in \mathbb{Z}^{n \times n}$.
For a sequence $i_1, \ldots, i_k$ we construct $A = A_{i_1} \cdots A_{i_k}$. We would like to know "Is 1 an ...
CommunityBot
- 1
0
votes
1
answer
939
views
Asymptotic equivalence for functions with zeros
I am considering the relative asymptotic behavior of a pair of real functions on the positive real axis, say $f$ and $g$. There is no $x_0$ such that $f$ and $g$ are non-zero for all $x>x_0$.
...
- 37.7k