The tag has no wiki summary.

learn more… | top users | synonyms

27
votes
0answers
1k 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)$ ...
14
votes
0answers
257 views

Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series $\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely. Then there is a partition of the symmetric group ${\rm ...
13
votes
0answers
316 views

A question about small sets of reals

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$? This question is motivated ...
13
votes
0answers
820 views

Almost everywhere differentiability for a class of functions on $\mathbb{R}^2$

A while ago, I came across the following problem, which I was not able to resolve one way or the other. Let $f,g\colon\mathbb{R}^2\to\mathbb{R}$ be continuous functions such that $f(t,x)$ and ...
11
votes
0answers
368 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$. ...
10
votes
0answers
203 views

A multiple integral

Let us consider the multiple integral $$I_{n}=\int_{-\infty }^{\infty }ds_{1}\int_{-\infty}^{s_{1}}ds_{2}\cdots \int_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {(s_{1}^{2}-s_{2}^{2})}\;\cdots \cos ...
10
votes
0answers
186 views

Asymptotics of a Selberg-type integral

Let $\Delta(s_1,s_2,\ldots,s_n) = \prod_{i<j}(s_i-s_j)^2$. Is there a standard way to estimate the decay of the Selberg-type integral $$ \frac{1}{n!^2}\int_0^1 \int_0^1\cdots\int_0^1 ...
9
votes
0answers
217 views

Does antidifferentiability of continuous functions imply Dedekind completeness?

Let $R$ be an ordered field, and let $I$ be {$x \in R: a < x < b$} for some $a < b$ in $R$. Define notions of $R$-continuity and $R$-differentiability for functions $f : I \rightarrow R$ by ...
8
votes
0answers
315 views

Evaluating Shintani cone zeta functions

Hi everyone I am trying the evaluate sums of the form $$ \sum_{n_1>0,n_2>0,\ldots,n_m>0} \frac{1}{\big((a_{1,1}n_1 +\ldots +a_{1,m}n_m)^k \ldots (a_{m,1}n_1+ \ldots +a_{m,m}n_m)^k\big)}$$ ...
7
votes
0answers
154 views

If the generating function summation and zeta regularized sum of a divergent exist, do they always coincide?

One could assign a value to divergent series by means of several summation methods. One summation method we could consider is the generating function method. Let's sum, for example, the fibonacci ...
7
votes
0answers
256 views

Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
7
votes
0answers
200 views

Is $Q_n(x)=\sigma_{n+1}(x)/\sigma_n(x)$ logarithmically convex on $\mathbf{R}$?

In 1975 J. van de Lune considered the monotony properties of the canonical Riemann Upper and Lower sums for $\int_0^1 t^xdt$, with $x>0$. Writing $\sigma_n(x) := 1^x+2^x+\cdots+n^x$ these sums are ...
6
votes
0answers
134 views

Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that $||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...
6
votes
0answers
118 views

On derivatives of polynomials majorized by $\max(1,|x|^d)$

In the course of generalizing the Bernstein-Markov theorem to normed space, Harris came up with the following question. Suppose that $p$ is a real polynomial satisfying $|p(x)| \leq (1+|x|)^d$. ...
6
votes
0answers
292 views

Polynomials and divided differences

I would greatly appreciate any hint for proving the following. Question: Let $f:[0, 1] \to {\bf R}$. Can it be proved that if $[0, 1/(N+m),\dots, (N+m)/(N+m) ; f ]=0$ for all $m=1,2, 3,\dots$, then ...
5
votes
0answers
138 views

A generalization of Jensen's Inequality

Jensen's inequality is well known as $$E\big[f(X)\big]\le f\big(E[X]\big)$$ where $X$ is a integrable random variable and $f: R\to R$ is a bounded concave function, see also ...
5
votes
0answers
194 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
5
votes
0answers
97 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)$? ...
5
votes
0answers
151 views

Is there an appropriate weighted Sobolev space to include exponential map and projection map?

Observe that given a non negative function $\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted $L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions $f: ...
5
votes
0answers
194 views

Sum of product maximum

For which pairs of integers $(n,m)$ is the maximum of the following function $$f(x)=\sum_{i_1+\dots +i_n=m}\prod_{k=1}^n x^{i_k}_{k},\ \ x=(x_1,\dots,x_n), \|x\|=1$$ attained when $x_1=\dots=x_n$? ...
5
votes
0answers
562 views

Maximal ideals of the rings of Baire- One Functions

A real function $f:X\rightarrow \mathbb{R}$ Is called Baire-one function, if there is a sequence $(f_n)_{n=1} ^\infty$ of continuous functions $f_n:X\rightarrow \mathbb{R}$ on $X$ so that for all ...
5
votes
0answers
336 views

Does every strictly increasing, unbounded sequence of positive real numbers contain arbitrarily long, finite subsequences which are “sort of increasing” or “sort of decreasing” (as defined below)?

Is the following true? If $(x_0, x_1, \dots)$ is a strictly increasing, unbounded sequence of positive real numbers, then there exist fixed $M,N \geq 1$ such that the sequence $(x_0, x_1, \dots)$ ...
5
votes
0answers
500 views

two versions of the nested interval property

There appear to be two different nested interval properties for the reals with the punchline "... then the intersection of the intervals is non-empty", and I'd like to know their respective histories ...
5
votes
0answers
309 views

Independent Events Inducing Probability Measures

Let $\mathcal{F}$ be a sigma algebra over $\Omega$ and $M$ the set of all probability measures on $\mathcal{F}$. Let $\mathcal{C}$ be some collection of pairs $(A,B)$ with $ \ A,B\in\mathcal{F}$. Now ...
4
votes
0answers
61 views

A monoid-structure on pairs of interlacing polynomials

Let us call a pair of two real polynomials $(P,Q)$ interlacing if $\deg(P)=\deg(Q)+1$, both polynomials have strictly positive leading coefficients and $P,Q$ have only real roots which interlace ...
4
votes
0answers
158 views

Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
4
votes
0answers
93 views

Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
4
votes
0answers
212 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} ...
4
votes
0answers
233 views

decreasing rearrangements: why the asymmetry of measure-preserving maps?

Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...
4
votes
0answers
195 views

Literature on Exponential of a Quadratic Form

Let $A_i$, $i=1,\dots,L$ be given $N\times N$ positive definite real matrices. I have this sum of exponentials \begin{align} ...
4
votes
0answers
248 views

A question about intuitionistic analysis

In Michael Dummett's book "Elements of Intuitionism", the product of real numbers is defined as follow: $x\cdot y= \{ \langle r_n\rangle \cdot \langle s_n\rangle$ | $\langle r_n\rangle\in x , \langle ...
4
votes
0answers
409 views

System of Equations Upper Bound

I asked a related question on math.stackexchange here but would now like to obtain a better bound. This question comes from a graph theory problem. I'll restate the new question here: For ...
4
votes
0answers
156 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 ...
4
votes
0answers
185 views

The ring generated by measures

Suppose $X$ is a space equipped with a $\sigma$-algebra $\mathcal{M}_X$. Then the set of measures on $X$ is closed under addition and scalar multiplication by elements of ${\mathbb R}$. Formally ...
4
votes
0answers
95 views

rank of a C^1 map

I saw this three star problem in Hirsch .. If we have open sets $U \subset R^3$ ,$V \subset R^2$ and $f:U \to V$ is $C^1$ and onto...Prove there is at least one point in $U$ where $f$ has full rank ...
4
votes
0answers
150 views

Symmetric functions and regularity (II)

My previous question (where $n=2$) was a bit too naive. I think that this one, which is the one being of genuine interest to me, is more involved. Let $f=\mathbb R^n\rightarrow\mathbb R$ be a ...
4
votes
0answers
382 views

Cohomology of Real algebraic Varieities

I understand Serre's GAGA theorem as saying that equations over algebraically closed fields can be studied equally from the algebraic and analytic points of view, at least with respect to cohomology. ...
4
votes
0answers
780 views

Proofs of Baire category theorem

I would like to have a list of proofs of the fact that the real line is not meager (also very useful would be a reference to such a list, if it already exists somewhere). My motivation is the ...
4
votes
0answers
451 views

continuous selection of a multivalued function?

The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
3
votes
0answers
223 views

Question on a proof by Solonnikov,Ladyzhenskaya,Ural'tseva

I have already asked this question on Mathematics SE, because I suppose that it is not research level. But I haven't got an answer, possibly here someone can answer. Let $G(t,x)$ be the fundamental ...
3
votes
0answers
151 views

An upper bound for a average of a function in $L_{p}([0,1))$

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j},~ 1\leq j \leq 2^{n} \} \right\} \right)_{n ...
3
votes
0answers
92 views

Convergence in energy of bounded (semi)subharmonic functions

Consider a sequence $(f_n)$ of functions in the flat torus $T^d$ converging Lebesgue-a.e. to a limit function $f$. Assume that: 1) $|f_n|(x)\leq 1$ for every $n,x$ 2) $\Delta f_n\geq -1$ in the ...
3
votes
0answers
77 views

Is every supersmooth function a local polynomial?

This question is a follow up question to this question that I recently asked. A $C^{\infty}$ function $f:(c,d)\rightarrow\mathbb{R}$ shall be called a local polynomial if whenever ...
3
votes
0answers
194 views

Does there exist a supersmooth non-polynomial function?

Let's call a $C^{\infty}$-function $f:\mathbb{R}\rightarrow\mathbb{R}$ Lebesgue supersmooth if whenever $a_{n}\in\mathbb{R}$ for all $n$, then $\lim_{n\rightarrow\infty}a_{n}f^{(n)}(x)\rightarrow 0$ ...
3
votes
0answers
91 views

Density of function spaces

Let $\Omega$ be a subset of either $\mathbb{R}^n$ ($n\geq 3$, if it matters) or of a compact manifold. In either case, we'll call the manifold $M$. Let $V_i\subset V_{i+1} \subset \Omega$ be an ...
3
votes
0answers
166 views

Boundary of an open, bounded and convex set in $\mathbb{R} ^n$

Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...
3
votes
0answers
86 views

Generalized family of Holder inequalities

Is the "only if" direction of the following fact known? For fixed sequences $(a)_i = a_1, \dots, a_r$, $(b)_i = b_1, \dots, b_r$ and $(c)_i = c_1, \dots, c_r$, the inequality $\prod_{i = 1}^r ...
3
votes
0answers
61 views

Limit of a hypergeometric integral

Let $n,N,T$ be positive integers, with $N=\binom{n}{2}$, and $3\leq n\leq T\leq N$. Define: $$P(z):=z^{N+1-T}\int_0^1\frac{(1-t^2)^{n-2}}{(1-(1-z)t)^{N+1}}{}_2F_1\left[-T,N+1,N+2-T; ...
3
votes
0answers
71 views

What are the criteria for an elementary function to be infinitely integrable in elementary functions?

What features of elementary functions define a class of functions whose consecutive indefinite integration also gives an elementary function? Is there a way to check whether a given elementary ...
3
votes
0answers
145 views

Is there such a matrix in $SO(n)$?

Given two $n$ dimensional positive definite matrices $A', B'$, is there a matrix $O \in SO(n)$ such that $A=O A', B=O B'$ and $$ \frac{A_{ij}}{\sqrt{A_{ii}A_{jj}}} = ...