All Questions
5,856 questions
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)$?
...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
2
votes
2
answers
518
views
Lower bounds on derivative around zero set of a positive smooth function
As part of a different problem, I came across the following simplified question, for which I cannot exhibit a proof nor a counterexample. Note that the assumptions of smoothness and strict positivity ...
- 83
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 + \...
- 2,494
2
votes
1
answer
577
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 ...
- 13k
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
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 ...
- 8,688
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
4
votes
1
answer
660
views
Reconstructing a (unitary) matrix from the determinant of its sub-matrices
I want to find the unitary $N \times N$ matrix U from the following data. Let $M$ be an integer $(1< M<N-1)$ and let $\mathcal S$ be the space of all the possible subsets of $\{1,2,\dots, N\}$ ...
- 34.7k
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?
- 23.2k
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) ...
- 2,494
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}}, \,\,\,\...
- 16.2k
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}$ ...
- 54.6k
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}+\...
- 3,709
1
vote
1
answer
273
views
Does this variable have an upper bound?
Let $x$ be a positive scalar variable whose time derivative satisfies
$$|\dot{x}(t)|\leq \exp \left\{\left(-\int_{0}^{t}\frac{1}{x(\tau)} \mathrm{d} \tau \right)\right\},$$
where $|\cdot|$ denotes the ...
- 7,217
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 ...
- 148k
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}...
- 2,933
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 ...
- 837
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 ...
- 8,491
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 ...
- 656
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
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 $\...
- 79.9k
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., ...
- 3,958
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 ...
- 148k
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
11
votes
2
answers
1k
views
A binomial determinant fomula
Is there an existing or elementary proof of the determinant identity
$
\det_{1\le i,j\le n}\left( \binom{i}{2j}+ \binom{-i}{2j}\right)=1
$?
- 85.6k
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 ...
- 3,709
2
votes
3
answers
2k
views
LU decomposition
Consider a $N \times N$ symmetric real matrix $A$: $A_{ij} = (\sum_{k=1}^N n_{ik}) \delta_{ij} - n_{ij}$, where $n_{ij}$ is a real symmetric matrix whose elements are equal to $1$ or $0$. $A$ has one ...
- 151
19
votes
5
answers
1k
views
Floors of powers of reals, how much do the first few determine the next?
Call an integer sequence $\mathbf{x}=\left( x_1,x_2,\cdots \right)$ feasible if it is $f(r)=\left(\lfloor r \rfloor, \lfloor r^2 \rfloor, \lfloor r^3 \rfloor,
\ldots, \lfloor r^n \rfloor, \ldots \...
- 30.1k
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 ...
CommunityBot
- 1
2
votes
2
answers
509
views
Banach algebra of BV functions
I would like to find a reference for the proof that functions of bounded variation make a Banach algebra. Same question for $BV\cap L^\infty$.
CommunityBot
- 1
7
votes
1
answer
819
views
Has this generalization of a determinant (assigning multiplicities to the rows) been studied?
I'm working on some questions in tropical geometry, and my problem led me to create the following generalization of a determinant:
Let $A$ be an $m \times n$ matrix with $m \le n$, and positive ...
CommunityBot
- 1
6
votes
1
answer
218
views
Approximating an iteratively defined function
Let $f_0,f_1,\ldots$ be a sequence of functions $f_n : [0,1] \rightarrow R$ defined as follows:
$$f_0(x) =1+2x$$
$$f_{n}(x) := \left\{\frac{5+t}{2} : \text{ where t solves } f_{n-1}\left(\frac{x}{t}...
- 60.5k
1
vote
1
answer
100
views
Estimating a quantity from an estimate in its integral
I am reading a paper in which the following argument is made. We have two positive real valued functions $f(x)$ and $g(x)$. We know that $$\int_0^x \int_0^y f(z) \ dz \ dy \leq g(x).$$
It is then ...
- 91.8k
1
vote
1
answer
289
views
Compactly supported smooth function with Laplace transform bounded on a cone
My question is if it is possible to find a compactly supported smooth function $\varphi:\mathbf{R}\to \mathbf{R}$ s.t. the following integration $\int_{\mathbf{R}}\varphi(t)e^{itx}e^{tx}dt$ stays ...
- 91.8k
1
vote
0
answers
184
views
A bound for a product in BMO
The question: Let's consider $f\in L^\infty(\mathbb{T})$ and $g\in BMO(\mathbb{T})$. I'm trying to figure out if the following inequality is true
$$
\|fg\|_{BMO}\leq C\|f\|_{L^\infty}\|g\|_{BMO}.
$$
...
- 843
1
vote
1
answer
713
views
Quantitative version of of Riemann Lebesgue Lemma
I'm wondering if there exists a "Quantitative version of of Riemann Lebesgue Lemma" at least for the following case
$
\int_{1}^{\infty}F(t)e^{-2\pi i wt}dt
$
where $F(t)$ is a Piecewise cont. ...
- 16.2k
2
votes
1
answer
90
views
Expressions in "continued" monotone functions
Recall continued fractions: http://en.wikipedia.org/wiki/Continued_fraction
Now take a look at this question: https://math.stackexchange.com/questions/601846/the-limit-of-displaystyle-lim-n-to-infty-...
CommunityBot
- 1
2
votes
1
answer
950
views
A special case of the Divergence theorem
I am interested in the following statement:
Let $F$ be a vector field in $\mathbb{R}^n$ that is $C^1$-smooth in a
domain $U$, continuous up to the boundary $\partial U$, and vanishing on $\...
- 2,834
27
votes
2
answers
1k
views
Continuous functions $f$ with $f(A)$ linearly independent when $A$ is independent
Is there any characterization of continuous functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ such that for any linearly independent set $A$ (over the rationals) $f(A)$ is also linearly independent ?
- 82.7k
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
CommunityBot
- 1
0
votes
0
answers
45
views
compactness related to some distance defined on the space of increasing functions2
Let $I=[0,1]$ and denote by $C^{+}(I)$ the space of continuous increasing functions. Can we find a distance $d$ for $C^+(I)$ such that the set of the form
$$d(f,g)\rightarrow 0\Longrightarrow f(1)\...
- 1,835
6
votes
0
answers
2k
views
Are planar Lipschitz curves countable unions of graphs?
More precisely:
Question:
Let $\gamma \colon [0,1] \to \mathbb{R}^2$ be Lipschitz. Do there exist Borel (or Suslin) sets $A_i \subset \mathbb{R}^2$ and directions $v_i \in \mathbb{R}^2$, for ...
- 3,270
5
votes
1
answer
893
views
Isolated critical points
Is the following statement true or false?
Let $f:U\subset{\bf R}^n\to{\bf R}$ be a $C^2$-function (or $C^k$, with $k>2$; or real analytic) defined in a neighborhood $U$ of $0$. Assume that $0$ is ...
CommunityBot
- 1
5
votes
1
answer
857
views
Hausdorff metric on C[0,1]
Let us consider $C[0,1]$, the space of continuous functions $f\colon [0,1] \to \mathbb{R}$. It comes usually with the metric of the maximum, or of the supremum, $d_{L^{\infty}}$. Each element $f$ in $...
- 45k
7
votes
3
answers
2k
views
Sarrus determinant rule: references, extensions
SEEKING REFERENCES FOR SARRUS' RULE AND EXTENSIONS
An undergraduate came to me with an identity for 4x4 determinants that is actually correct:
$\det(A)=h(A)+h(RA)+h(R^{2}A)$
where R cyclically ...
- 21
23
votes
3
answers
3k
views
Is there a function defined on real numbers which is continuous from the left, but not from the right, everywhere
I am teaching Mathematical analysis. A student asked this question. I think this is a good question, but don't know the answer.
- 31.5k
0
votes
2
answers
590
views
Bounds on the largest root of a polynomial
Consider the following polynomial: $p(x)=x^{3}-(k-1)x^{2}-(2k-1)x+(k-1)^{2}$, where $k \geq 5$ is a fixed parameter. I am trying to find a strong lower bound on the largest root $x_{\max}$ of the ...
- 11.8k