Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 36721

This tag is used if a reference is needed in a paper or textbook on a specific result.

4 votes
3 answers
498 views

Are $\pm f\sqrt{1+g^2}$ and $\pm fg\sqrt{1+g^2}$ smooth if $f,fg,fg^2$ are smooth?

This is a follow-up on the previous question. Suppose that $f$ and $g$ are functions from $\mathbb R$ to $\mathbb R$ such that the functions $f,fg,fg^2$ are smooth, that is, are in $C^\infty(\mathbb …
Iosif Pinelis's user avatar
8 votes
1 answer
377 views

A dichotomy for the quadratic variation of differentiable functions?

For a real-valued function $f$ on $[0,1]$, define its quadratic variation by the formula $$[f]:=\limsup\sum_{j=1}^n(f(t_j)-f(t_{j-1}))^2,$$ where the $\limsup$ is taken over all "partitions" $0=t_0<\c …
Iosif Pinelis's user avatar
4 votes
1 answer
101 views

A narrower dichotomy for the quadratic variation of differentiable functions?

$\newcommand\P{\mathcal P}$A "partition" $P$ (of the interval $[0,1]$) is a finite sequence $(t_0,\dots,t_n)$ such that $0=t_0<\cdots<t_n=1$; then the mesh of $P$ is $\|P\|:=\max_{1\le j\le n}(t_j-t_{ …
Iosif Pinelis's user avatar
2 votes
1 answer
457 views

An identity for the elliptic theta function

For real $s>0$, let $$S(s):=\sum_{n=-\infty}^\infty e^{-n^2/(2s^2)} =\vartheta _3\left(0,e^{-1/(2 s^2)}\right),$$ where $\vartheta$ is the elliptic theta function. Plotting suggests that the identity …
Iosif Pinelis's user avatar
3 votes
1 answer
308 views

On convergence of entire functions

Suppose we have a sequence of entire functions $f_n$ such that $$\text{$f_n(z)\to0$ for each natural $z$}\tag{1}$$ (as $n\to\infty$). Is it possible to give general additional conditions on the sequen …
Iosif Pinelis's user avatar
8 votes
1 answer
379 views

Are $f\sqrt{1+g^2}$ and $fg\sqrt{1+g^2}$ smooth if $f,fg,fg^2$ are smooth?

Suppose that $f$ and $g$ are functions from $\mathbb R$ to $\mathbb R$ such that the functions $f,fg,fg^2$ are smooth, that is, are in $C^\infty(\mathbb R)$. Does it then necessarily follow that the …
Iosif Pinelis's user avatar
11 votes
2 answers
532 views

Reference request: A multidimensional generalization of the fundamental theorem of calculus

$\newcommand\R{\mathbb R}$Let $f\colon\R^p\to\R$ be a continuous function. For $u=(u_1,\dots,u_p)$ and $v=(v_1,\dots,v_p)$ in $\R^p$, let $[u,v]:=\prod_{r=1}^p[u_r,v_r]$; $u\wedge v:=\big(\min(u_1,v_1 …
Iosif Pinelis's user avatar
4 votes
1 answer
273 views

How bad can pointwise convergence in $C$ be?

$\newcommand{\R}{\mathbb R}$Consider the following construction. For real $u$, let \begin{equation} f(u):=\frac{2u^2}{1+u^4}, \end{equation} so that the function $f\colon\R\to\R$ is continuous, $0 …
Iosif Pinelis's user avatar
1 vote
0 answers
94 views

Automated, algorithmic construction of bijective proofs of combinatorial identities

Let $a_n$ and $b_n$ be two different expressions in natural $n$ with values in the set of all nonnegative integers such that we have the identity $a_n=b_n$ for all $n$. As a simplest example, we may c …
Iosif Pinelis's user avatar
2 votes
2 answers
399 views

Asymptotics of the derivatives of analytic functions

Are there sources that treat questions like the following ones? Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as $x …
Iosif Pinelis's user avatar
4 votes
1 answer
129 views

On partial absolute continuity

$\newcommand\B{\mathscr B}\newcommand\A{\mathscr A}\newcommand\si{\sigma}$Let $I:=[0,1]$, and let $\B$ and $\B^2$ denote the Borel $\si$-algebras over $I$ and $I^2$, respectively. Let $\A$ stand for t …
Iosif Pinelis's user avatar
5 votes
2 answers
581 views

On the derivative of the Bernstein polynomial

$\newcommand\Z{\Bbb Z}\newcommand\De{\Delta}$For a natural $n$ and a function $g\colon\Z\to\Bbb R$, let $B_n g$ be the corresponding Bernstein polynomial, so that $$(B_n g)(x)=\sum_{k\in\Z} g(k)\binom …
Iosif Pinelis's user avatar
11 votes
2 answers
417 views

On the convex cone of convex functions

$\newcommand\R{\Bbb R}$Let $F$ be the set of all functions of the form $\max(a,b,c)$, where $a,b,c$ are affine functions from $\R^2$ to $\R$ and the maximum is taken pointwise. Let $G$ be the set of a …
Iosif Pinelis's user avatar
3 votes
1 answer
622 views

Is the sequence $(\log(n!)\mod1)_{n\in\mathbb N}$ dense in the interval $[0,1]$?

This question was raised in the comment by Todd Trimble at how to proof there is a natural number n, the first four digits of n! Is 2018?. I thought the question may be posted separately, as even part …
Iosif Pinelis's user avatar
2 votes
0 answers
488 views

Bijective proof of a combinatorial identity: $\sum\limits_{k=0}^n\binom nk^2 \binom k{n-m}=\...

Identity \begin{equation} \sum_{k=0}^n\binom nk^2 \binom k{n-m}=\binom nm \binom{n+m}m \tag{1} \end{equation} was used in an answer here. As shown in that answer, (1) easily reduces to \begin{alig …
Iosif Pinelis's user avatar

1
2 3 4 5
15 30 50 per page