All Questions
5,848 questions
0
votes
0
answers
428
views
Given an even function how to obtain the most close odd function and vise versa?
Given an even function $f(x)$, how to obtain the most close to it continuous odd function $g(x)$?
By most close I mean that $\int_0^\infty |f(x)-g(x)| dx$ be the minimum possible and the difference $|...
5
votes
1
answer
921
views
About generalized Minkowski inequality
For which functions $f:\mathbb{R}^+ \to \mathbb{R}^+$ does the inequality
$f^{-1}\left(\sum\limits_{k=1}^n f(x_k+y_k)\right) \leq f^{-1}\left(\sum\limits_{k=1}^n f(x_k)\right) + f^{-1}\left(\sum\...
- 51
3
votes
1
answer
516
views
Is there a direct proof of the following real analysis fact?
I want to prove the following fact without using topological degree theory or related algebraic topology
Let $h:\overline{B}(0,1)\to \mathbb{R}^n$ be a continuous map such that $|h(x)-x|\leq \delta$ ...
- 1,881
0
votes
1
answer
308
views
Limits of functions with converging zeros
What can one say about the derivatives of a smooth function of several variables that is a limit of smooth functions with converging zeros?
More precisely, suppose that $f_i: R^n \to R^m$ is a ...
- 1,628
6
votes
1
answer
212
views
Oscillatory integrals of algebraic functions
Consider an algebraic function $\phi$ on $R^{d}$.
By this I mean that there exists a polynomial $P$
with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!)
such that $P(\phi) = 0$
Let $...
- 547
8
votes
3
answers
637
views
Method to compute fundamental solutions which are distributions
The Malgrange-Ehrenpreis theorem tells us that there is a fundamental solution for any linear differential operator of constants coefficients. The original proof was not constructive (it was based on ...
25
votes
1
answer
4k
views
What kind of random matrices have rapidly decaying singular values?
I've been told that in machine learning it's common to compute the singular value decomposition of matrices in order to throw out all information in the matrix except that corresponding to, say, the $...
- 118k
3
votes
2
answers
188
views
Seeking a class of functions for which sums approximate integrals well
Is there a "natural" class of integrable functions $f: {\mathbb R} \rightarrow {\mathbb R}$ for which it is true (and, preferably, not too hard to prove!) that $\sup_{0 \leq a < h} |h S(a,h) - I|$ ...
- 19.7k
9
votes
5
answers
3k
views
Assessing effectiveness of (epsilon, delta) definitions [closed]
There is much discussion both in the education community and the mathematics community concerning the challenge of (epsilon, delta) type definitions in calculus and the student reception of them. The ...
- 16.6k
8
votes
3
answers
540
views
Real varieties with enough algebraic loops
Let $(X,\sigma)$ be a complex variety with complex conjugation (equivalently, an algebraic variety over $\mathbb R$).
We use the notations $X(\mathbb R):=X^\sigma$ for the set of fixed points of $X$ ...
- 43.2k
0
votes
1
answer
259
views
How to perturb a function to separate points
Consider two smooth functions $f,g\in C^\infty(\Omega)$ with $\partial \Omega$ smooth and $\Omega\subset \mathbb{R}^3$. Assume that $f=g$ on $\partial \Omega$.
For any given $\varepsilon>0$, how ...
- 35
5
votes
0
answers
143
views
Error of midpoint method for differentiable functions
Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...
- 19.7k
2
votes
1
answer
531
views
Radius of the ball where the inverse of Lipschitz maps exists
I am aware of the inverse function theorem for Lipschitz maps, which uses the notion of generalised derivative $\delta_{x_0} f$ of a Lipschitz map $f$, due to F.H.Clarke in On the inverse function ...
- 203
3
votes
0
answers
176
views
Tauberian theorem wanted
At least, I think it might deserve to be called a Tauberian theorem, inasmuch as it would generalize the Tauberian theorem mentioned by Liviu Nicolaescu in his reply to my question Using a quadratic ...
- 19.7k
12
votes
1
answer
934
views
Real-rootedness, interlacing, root-bounds of a sequence of polynomials
Problem: the number $a(n,k)$ is defined by the following recurrence
\begin{equation}
a(n,k)=(k+1)(k+2)\, a(n-1, k)+\frac{(k+1)(k+2)(k+3)}{k} \,a(n-1, k-1),
\end{equation}
with $a(1,1)=1$ and $a(n,k)=0$...
- 459
4
votes
0
answers
428
views
Inverse of matrix-valued function
Given $c>0$. Let $\gamma_c:{\cal M}_{k \times k}^+\mapsto {\cal M}_{k \times k}^+$ is a function defined by
\begin{equation}
\gamma_c(\Omega)=\frac1{\sqrt{(2\pi)^{k}|\Omega|}}\int_{\mathbb{R}^k}\{(-...
- 133
3
votes
1
answer
442
views
Error of midpoint method for functions that are not twice-differentiable
All of the bounds I've seen for the error of the midpoint method of integration are expressed in terms of the second derivative of the function. What bounds are available when the function is not ...
- 19.7k
21
votes
3
answers
2k
views
Felix Klein on mean value theorem and infinitesimals
This is a reference request prompted by some intriguing comments made by Felix Klein.
In 1908, Felix Klein formulated a criterion of what it would take for a theory of infinitesimals to be ...
- 16.6k
31
votes
1
answer
2k
views
Prove that there exists $n\in\mathbb{N}$ such that $f^{(n)}$ has at least n+1 zeros on $(-1,1)$
Let $f\in C^{\infty}(\mathbb{R},\mathbb{R})$ such that $f(x)=0$ on $\mathbb{R}\setminus (-1,1)$. Prove that there exists $n\in\mathbb{N}$ such that $f^{(n)}$ has at least $n+1$ zeros on $(-1,1)$
I ...
user46896
3
votes
1
answer
449
views
Prove that when converge, the following expansions are equal
Prove $f_1(x)=f_2(x)=f_3(x)$ when converge.
$$f_1(x)=\sum_{m=0}^{\infty} \binom {x}m \sum_{k=0}^m\binom mk(-1)^{m-k}f(k)$$
$$f_2(x)=\lim_{n\to\infty}\binom xn\sum_{k=0}^n\frac{x-n}{x-k}\binom nk(-1)^...
- 10.1k
1
vote
1
answer
918
views
Pros and cons of probability model for permutations
I am studying probability model of random permetuation
Let $b(n; k)$ denote the number of permutations of {1,...,n} with precisely k
inversions ($inv(\pi)$). The analytic approach was considered by L....
2
votes
1
answer
578
views
When is the bound in Riesz-Thorin Interpolation Theorem attained?
Let me recall the statement of Riesz-Thorin theorem (see also http://en.wikipedia.org/wiki/Riesz%E2%80%93Thorin_theorem).
Theorem (Riesz-Thorin): Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite ...
- 717
3
votes
1
answer
390
views
An elementary inequality: reference request
Consider the problem of minimizing $\sum_{i=1}^{n}{x_{i}}$ under the constraints $\sum_{i=1}^{n}{x_{i}^{2}}=1$ and $x_{i} \geq 0$. Obviously the solution is given by the vector $(1,0,\ldots,0)$.
Now ...
- 6,962
7
votes
1
answer
355
views
Injectivity of matrix "fingerprint"
Consider $S$, the set of all $n\times m$ real matrices with specified row sums $(r_1,...,r_n)$, column sums $(c_1,...,c_m)$, and strictly positive entries.
For any matrix $A$, define
$$ D_A(i,j)=\...
- 3,979
23
votes
2
answers
2k
views
Which smooth compactly supported functions are convolutions?
If $f,g$ are smooth functions with support in the interval $[-r,r]$ for some $r>0$, then their convolution $f*g$ is smooth with support in $[-2r,2r]$. My question is about the converse: Given ...
- 1,017
1
vote
1
answer
220
views
There is a horseshoe with positive measure
Here is a theorem by Bowen :
My question is about the highlighted part in the picture. why there such a function $g$ exist?
- 279
3
votes
1
answer
693
views
Equivalence of negative Sobolev norm of derivative to $L^2$-norm
Let $S:=(0,1)^2$ be the unit square in $\mathbb{R}^2$, and let $M:=\{u\in L^2(S)\mid \int_S u=0\}$ be the space of (real-valued) $L^2$-functions with mean value zero. On $M$ we can consider the $L^2(S)...
- 2,270
2
votes
1
answer
152
views
Is there a dense rational sequence of positive separation?
Let us consider the set $\ell_\neq$ of bounded sequences of unequal real terms. We use the following descriptions. A sequence $x=(x_0,x_1,...)\in\ell_\neq$ is dense if, for all $\varepsilon>0$, ...
- 2,437
1
vote
1
answer
370
views
A question which belongs to a class of Zygmund functions
Let $f$ be an absolutely continuous, periodic with period 1 and satisfies the condition
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const}\frac{\delta}{(\log\frac{1}{\delta})^{\epsilon}}, \,\,\,\...
- 197
2
votes
1
answer
158
views
Positive kernel property
Let $k:[0,1]^2\rightarrow (0,+\infty)$ be a continuous function and let
$f,g:[0,1]\rightarrow (0,+\infty)$ be measurable functions. We assume that
$$\forall x\in [0,1],\quad
f(x)=\int_0^1 k(x,y) g(y) ...
- 16.2k
2
votes
0
answers
229
views
Analytic varieties for the primes and the twin primes
I am wondering what real and complex analysis say
about the primes and twin primes.
According to Wikipedia
analytic variety is defined locally as the set of common zeros of finitely many analytic ...
- 25.4k
1
vote
1
answer
112
views
Looking for methods/results for explicitly bounding iterations of rational functions
In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series.
That is, suppose that
$$
f(z)=az+b_{1}z^{r+1}+\...
- 11
1
vote
1
answer
94
views
On weak linear continuous functions
This is what I have first asked in SE but I think it is more suitable for here. I am interested in the set of all continuous functions $f: (0, \infty) \longrightarrow \Bbb{R}$ with the following ...
- 49
3
votes
1
answer
684
views
Is the countably infinite product of locally convex topological vector spaces locally convex?
Let $(X,\tau)$ be a locally convex topological vector space and denote the product space
$$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$
If we endow $X^{\infty}$ ...
- 1,835
3
votes
1
answer
495
views
Inequality in the Sobolev space $H^1$
I've found the following inequality
$$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ^2\bigg)^{\frac{q}{2}-a}+\frac{c}{r^{2a}}\bigg(\int_{B_r}...
user45822
4
votes
1
answer
670
views
A generalization of a theorem of Grothendieck
In this question the norm of $L^{P}[0,1]$ is denoted by $\parallel . \parallel _{p}$.
Let $p$ and $q$ be two arbitrary real numbers with $2<p<q$.
Assume that $S$ is a subvector space of ...
- 356
1
vote
1
answer
2k
views
Constructing a continuous matrix valued function
Given $d<k$. Let ${\cal M}_{d\times k}(\mathbb{R})$ denotes the set of all $d\times k$ real matrices and suppose that $H:\mathbb{R}^k\rightarrow {\cal M}_{d\times k}(\mathbb{R})$ is a continuous ...
- 133
2
votes
1
answer
175
views
Relating joint probability to norm of vector of probabilities
I have a set of Bernoulli random variables $X_1,X_2,\ldots, X_n$ and I would want to bound the joint probability $P(X_1=0,X_2=0,\ldots, X_n=0)$ using the norm $\lvert \lvert \mathbf{p}\rvert \rvert$, ...
- 143
1
vote
3
answers
267
views
Formalism for moving from a metric space into a vector space for mathematical/statistical modeling given a data
I have a metric space $(X,d)$. I have a physical situation (data) where each physical entity corresponds to an $x \in X$.
I want to do some mathematical/statistical modeling of this data, but the ...
- 698
2
votes
0
answers
161
views
Improving a bound from Taylor's Theorem
For this problem, suppose $g:\mathbb{R}\rightarrow\mathbb{R}$ is such that $g\in\mathcal{C}^{k}(\mathbb{R})$, and there exists $\epsilon>0$ such that
\begin{align*} \epsilon<|g^{(k)}(x)|<\...
- 21
3
votes
2
answers
135
views
series representation of bivariate functions
Given a bivariate function $f(x, y)$ with $x \in [-a,a]$ and $y \in [-b, b]$, what is the necessary and sufficient condition under which we can write $f(x, y) = \sum g_k(x)h_k(y)$ for all $(x,y)$ in ...
- 53
3
votes
1
answer
97
views
Number of small projections
Suppose $X$ is a finite subset of the plane and for $0\leq \theta<\pi$, let $l_\theta$ denote the line through the origin having angle $\theta$ with the positive $x$-axis. For how many values of $\...
- 133
3
votes
1
answer
2k
views
Is the space of test functions separable? [closed]
Consider the space $\mathcal D(\mathbb{R}^n)$ of smooth functions (in the sense of having continuous derivatives of all orders) which are compactly supported. Endow it with its usual topology, i.e., ...
- 33
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 1,835
10
votes
3
answers
2k
views
The intersection of $n$ cylinders in $3$-dimensional space
A standard question in vector calculus is to calculate the volume of the shape carved out by the intersection of $2$ or $3$ perpendicular cylinders of radius $1$ in three dimensional space. Such ...
- 11.4k
9
votes
1
answer
224
views
Is it always possible to "encircle" exactly $n$ points in an infinite subset of $\mathbb{R}^d$ without limit points?
Let $d$ be a positive integer, and let $\mathbb{R}^d$ be endowed with the
Euclidean metric. Given an infinite set $S \subset \mathbb{R}^d$ without limit points
and a positive integer $n$, is there ...
- 19.6k
1
vote
1
answer
163
views
Pohozaev result for equations with weights
I am interested in nonnegative solutions of
$-div( e^{-\gamma(x)} \nabla u(x)) = e^{-\gamma(x)} u(x)^p$ in $\Omega$ with $ u=0$ on $ \partial \Omega$.
Or instead the equation $ -\Delta u + \...
- 539
4
votes
1
answer
465
views
Julia sets without Montel's theorem
Let $J(c)$ be the Julia set of $f(z)=z^2 +c$ defined as the closure of repelling periodic orbits. Is there a way to prove that $J(c)$ is the boundary of the basin of attraction of attractive fix ...
- 1,648
4
votes
1
answer
189
views
Weak ergodicity of nonhomogenous products of 0-1 matrices
Here is a question which probably has a negative answer, but I couldn't find any literature directly on it.
Let $(A_n)$ be a sequence of rectangular 0-1 matrices (that is, the entries are restricted ...
- 4,679
5
votes
1
answer
279
views
A problem on the boundedness of maximal operator by using linearization method
We know that the maximal operator is bounded on $L^{p}(\mathbb{R}^{n})$ where $n\geq 1$ and $1<p<\infty$ and the proof would be contained in many classical harmonic analysis books. Here I find a ...
- 333