The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
1answer
186 views

The weighting function for the infinite product of necklaces

Let us consider the limit $\lim_{n\to \infty}\prod_{p=1}^n N(p,a)$ where $N(n,a)$ is the number of fixed necklaces of length $n$ composed of $a$ types of beads. Let's rewrite the product in a way ...
1
vote
0answers
170 views

Separability of the space $C(C[0, 1], \mathbb{R})$

Let $E=C([0, 1])$ be the space of all real-valued continuous functions on $[0, 1]$, equipped with the uniform norm. $C(E)$ stand for the continuous real-valued functions on $E$. I am wondering that ...
7
votes
2answers
656 views

A generalized mean-value theorem

I'm pretty sure that if the function $f$ is continuous on $[x_1,x_3]$ and twice-differentiable on $(x_1,x_3)$, with $x_1 < x_2 < x_3$, then there must exist $x$ in $(x_1,x_3)$ for which $f''(x)$ ...
22
votes
1answer
399 views

Which ordered fields are homeomorphic to their power?

It is well known that $\mathbb{R}^2\ncong \mathbb{R}$. It is also known that $\mathbb{Q}^2\cong \mathbb{Q}$. It is a corollary to Sierpiński's theorem which states that every countable metric space ...
9
votes
4answers
350 views

Are these three different notions of a graph Laplacian?

I seem to see three different things that are being called the Laplacian of a graph, One is the matrix $L_1 = D - A$ where $D$ is a diagonal matrix consisting of degrees of all the vertices and $A$ ...
2
votes
0answers
126 views

Lebesgue point and regularity of functions

A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point. I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
3
votes
1answer
273 views

Does this function have any exponential growth?

Has anyone seen any function of the following type? $$ g(x):=\sum_{n=0}^\infty \frac{x^n}{n!}\exp\left(-\frac{a^n}{x}\right),\quad a>1,x\ge 0. $$ The question is whether for some constant ...
0
votes
0answers
87 views

Do they have the same limit?

Suppose $a(\cdot)\in L^p$ and is symmetric and $b(\cdot)\in L^q$, where $1/p+2/q=2$, $p,q\ge 1$. Consider the quantity $Q_T=$ $$ ...
0
votes
0answers
99 views

Asymptotic analysis of a sum of complex summands using integral

I'm trying to find the exact asymptotics of a sum: $$A = \sum^n_{i=0} \begin{pmatrix} 2n \\ i \end{pmatrix} x^{i} y^{2n-i} $$ as $n\rightarrow\infty$. Here $x,y$ are complex numbers, $|x|\leq1, ...
1
vote
1answer
134 views

Absolutely continuous functions

it is well known that if a function $f:[0,T]\to\mathbb{R}$ satisfies the inequality $$\vert f(t)-f(s)\vert\leq \int_s^t{m(r) dr},$$ for $s<t$ and some $m\in L^1([0,T])$ then $f$ is absolutely ...
0
votes
1answer
222 views

Continuity of a Functional

A certain functional $T$ is defined as: $$T(F)=\int_{(0,1)}F^{-1}(s)M(ds)$$ where $M$ is a probability measure with support $[\alpha,1-\alpha]$,for $\alpha>0$. The result that above functional is ...
0
votes
0answers
93 views

Is there an improvement for the Schur-Horn inequalities for positive semi-definite matrices?

By the Schur-Horn inequality I am thinking of the statement that for any Hermitian matrix $H$ its diagonal n-tuple $(H_{11},H_{22},..,H_{nn})$ for any choice of basis lies in the convex hull of the ...
-2
votes
2answers
64 views

Systems of ODEs that fulfill a matrix relationship at steady state [closed]

It is well known that for a system of linear ODE $$x'(t) = A(t) \cdot x(t) + b(t)$$ with initial condition $x(t_0) = x_0$, that for a solution at any other time point $t_1$, $x(t_1) = (z_1, \ldots, ...
2
votes
1answer
90 views

Do the sequences with divergent associated $\zeta$-function form a vector space?

Let $V$ be the set of sequences $a \in\mathbb{R}^\mathbb{N}$ such that $\lim_{n\to\infty} a_n = 0$. The set $V$ can be seen as a real vector space, with pointwise addition and scalar multiplication. ...
0
votes
1answer
135 views

“Almost” zeta function

Given a sequence $(a_n)_{n\in\mathbb{N}}$ with $a_n > 0$ for all $n\in \mathbb{N}$ and $\lim_{n\to\infty}a_n = 0$ the series \begin{eqnarray} \zeta((a_n)_{n\in\mathbb{N}}) := \sum_{n=1}^\infty ...
4
votes
1answer
71 views

Existence of an equivariant Morse function

Let $G$ be a (finite) group and $M$ a $G$ manifold. Now I have a smooth real valued function $f: M\rightarrow R$ with $f(x)=f(g(x)),\, \forall g\in G$. Now in general $f$ will maybe not be a Morse ...
0
votes
0answers
110 views

A question about the duality principle

Suppose $X$ and $Y$ are finite sets and $K:X\times Y\to \mathbb R$ is some function. We get an integral transform from the space of real functions on $X$ to real functions on $Y$ given by ...
1
vote
1answer
166 views

On the Hölder regularity of an integral function

Let $n\geq 3$. Let $\Omega$ be an open and bounded subset of $\mathbb{R}^n$. Let define $X_0$ as the space of functions $f:\bar\Omega\times\partial\Omega\to\mathbb{R}$ such that $f(x,\cdot)$ is ...
0
votes
0answers
78 views

A question related to the Nikolskii fractional spaces

Consider a Nikolskii space, that is $$ N^{s,p}=\{f\in L^{p}(I, d\ell): \|f\|_{\overline{N}^{s,p}}=\underset{h>0}{\sup}h^{-s}\|\tau_{h}f-f\|_{L^{p}(I_{h})}<\infty \}, $$ where ...
2
votes
0answers
105 views

continuity with respect to weak-${\ast}$ topology

Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...
3
votes
1answer
134 views

A question about Skorokhod metric

I have a question related to the Skorokhod distance. Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\Lambda$ be the collection of non-decreasing continuous ...
5
votes
1answer
168 views

Jackson's theorem for partial sum of Fourier series

There is a classical theorem of Jackson stating that the $N$-th partial sum $S_N f$ of the Fourier series of a Lipschitz continuous function $f$ (which is periodic with period 1) satisfies $$ |f(x) - ...
3
votes
1answer
94 views

Skorokhod distance between $\omega, \omega\circ f_{\varepsilon}$ and $\omega, \omega\circ b_{\varepsilon}$

Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\rho$ be the Skorokhod metric on $\Omega$, see e.g. http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g Now define ...
1
vote
0answers
68 views

What is the purpose of the definition of “metric regularity”/“regularity modulus”?

A set mapping $F:X \rightrightarrows Y$ is said to be metrically regular for $\overline{x}\in X$ and $\overline{y} \in Y$ if there exists a $\kappa\in(0,\infty)$ for which $$ d(x,F^{-1}(y))\leq ...
1
vote
1answer
132 views

Another type of derivative, and the associated primitive

Let $\mathbf{v}:(a,b)\to\mathbb{R}^2$ be a continuous function, such that $||\mathbf{v}(t)||=1,\ \forall t\in (a,b)$. Find all continuous functions $\mathbf{r}:(a,b)\to\mathbb{R}^2$ so that: $ ...
4
votes
2answers
254 views

Constructive Proof to Show that Algebraic Numbers are Algebraically Closed

EDIT2: After reading some papers, I think the question can best be rephrased as "How can the minimal polynomial for a polynomial with algebraic coefficients be calculated. I have seen papers and ...
1
vote
0answers
71 views

vector space of ternary forms with real rooted property

Let $V \subseteq \mathbb{R}[x,y]_d$ be a two dimensional linear subspace of the vector space of bivariate forms of degree $d$. For each degree $d$ we can find such subspaces with the property that ...
2
votes
3answers
164 views

Determining Roots of a Polynomial with Interval Estimates of Coefficients

Let $f$ be a monic univariate polynomial with real coefficients: $$f_A(x) = x^n + a_{n-1}x^{n-1} + ... + a_{0}$$ The values of $A=(a_{n-1},...,a_0)$ are unknown, but are estimated as ...
1
vote
1answer
190 views

meromorphic extension of a function

Let $\Lambda\in \mathbf{C}$ be a discrete subset. We assume that $\mathrm{Re}(\lambda)<0$ for all the $\lambda\in \Lambda$. For $i\in \mathbf{N}$, $\lambda\in \Lambda$, let $m_{i,\lambda}\in ...
5
votes
1answer
320 views

The closed form of $\sum_{n=2}^\infty(-1)^{n+1}\frac{\psi(n)}n\log(n)$

The following series I'm interested in $$\sum_{n=2}^\infty(-1)^{n+1}\frac{\psi(n)}n\log(n)$$ where $\psi(n)$ is digamma function arose in the evaluation of an integral I posted on MSE, ...
3
votes
1answer
343 views

A.e. pointwise convergence of L2 functions - counterexample for generalization of Carleson's thm

Let $f_n \in L^2[0,1]$ be an orthonormal sequence and let $c_n \in \mathbb C$ be such that $\sum_{n = 1}^{\infty} |c_n|^2 < \infty$. Does this imply that the sequence $\sum_{n = 1}^{\infty}c_nf_n$ ...
-3
votes
1answer
485 views

A question about pointwise convergence of Fourier transform in $N$-dimensions

I am retreating back on this statement, after some explorations and calculation Bow to Willie and others who were skeptical on this. Main difficulty can be seen in this reference. But I must mention ...
5
votes
2answers
340 views

Exotic Lebesgue Measurable Function

Measurable functions whose graphs are dense in the plane are well known. Examples include, the Conway 13 function, as given in the answer in this link: When is the graph of a function a dense set ? ...
3
votes
0answers
158 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 ...
2
votes
4answers
248 views

Simple bound for generalized geometric series

Let $b \in (0,1)$, $m\in \mathbb{N}$ and $a>0$. I want to bound $$\sum_{k=m+1}^\infty b^{k^a} \leq c \; b^{m^a}, $$ where $c>0$ is independent from $m$. Is there a simple way of proving this ...
0
votes
0answers
191 views

A question about Assaf Naor's review in Bourbaki about the Batson-Spielman-Srivastava result

I am referring to this article - http://www.cims.nyu.edu/~naor/homepage%20files/Exp.1033.pdf If I understand right, the author states that his equations (8) and (9) are equivalent to the equations ...
1
vote
3answers
119 views

On the existence of compactly supported functions whose its Fourier transform satisfies a given condition

My question is concerned with the existence of compactly supported functions whose its Fourier transform satisfies a given condition: For $\gamma\ge 1$, one can prove that there is no compactly ...
3
votes
1answer
118 views

Uniqueness of the maximum derivative of a rational function

This may seem like an elementary question, but bear with me; you'll find that it is actually quite hard. Consider the function $$f(x)=\frac{a_nx^n}{\sum_{i=0}^n a_ix^i}$$ with all $a_i\geq 0$ and ...
3
votes
1answer
183 views

Chances for a cosine polynomial to be positive at a point

Let $k_1,\ldots,k_n$ be distinct integers. Let $s_n(t)=\cos (k_1t)+\cdots+\cos (k_nt)$ be a trigonometric sum. Consider any interval $I\subset [-\pi,\pi)$ of length $\delta=\delta(n)$. Let $\,U$ be a ...
2
votes
1answer
135 views

Quantitative stability: Hausdorff distance between subdifferentials

Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...
1
vote
1answer
202 views

Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
0
votes
0answers
87 views

Existence and Uniqueness of Volterra integral equations of the first kind

$$ \int_0^t k(s,t)f(s)ds=g(t) $$ To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...
3
votes
1answer
225 views

“Nice” functions on infinite-dimensional space of germs of continuous functions at a point

Consider set of all germs of continuous functions at some point. Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...
-2
votes
1answer
182 views

A calculus question [closed]

Fix $q>1$. Define the function $$ f_q(c):=\int_e^\infty \frac{e^{-c r^2}r}{\log(r)^q}d r. $$ The problem is whether the following is true, $$ \lim_{c\rightarrow 0} c \log(1/c)^q f_q(c) = C \in ...
0
votes
2answers
96 views

Inner Product of Given Sum Positive Sequence

Let $$A = \Big\{(a_1,a_2,\dots)\ \Big|\ a_i\ge 0, \sum_{i=1}^\infty a_i=1\Big\},$$ $$v(x)=\sup\left(\bigg\{\sum_{i=1}^\infty a_ib_i\ \bigg|\ (a_i)_{i=1}^\infty,\, (b_i)_{i=1}^\infty \in ...
0
votes
0answers
119 views

Can we define log-convex operators?

Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$ $$f(\alpha x+(1-\alpha)y)\leq ...
-1
votes
1answer
101 views

Analytic extension of the exterior Newtonian potential into the domain

I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain. Definition of Newtonian ...
0
votes
0answers
163 views

Establishing an upper bound for a dyadic 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} \stackrel{\text{df}}{=} \left[ ...
30
votes
1answer
2k views

What did Rolle prove when he proved Rolle's theorem?

Rolle published what we today call Rolle's theorem about 150 years before the arithmetization of the reals. Unfortunately this proof seems to have been buried in a long book [Rolle 1691] that I can't ...
0
votes
0answers
40 views

Stability of simple conditions on functions under convolution and/or mixture

We consider families of smooth probability densities defined on $\mathbb{R}^+$, $p=(x\in \mathbb{R}^+ \mapsto p_n(x))_{n\in\mathbb{N}}=(p_n)_{n\in\mathbb{N}}$ satisfying (i) $\int_{\mathbb{R}^+} ...