# Questions tagged [ca.classical-analysis-and-odes]

Special functions, orthogonal polynomials, harmonic analysis, ordinary differential equations (ODE's), differential relations, calculus of variations, approximations, expansions, asymptotics.

316
questions

**10**

votes

**3**answers

2k views

### Limit cycles as closed geodesics (in negatively or positively curved space)

EDIT: Here is a related post which concern quadratic vector fields rather than Van der Pol equation. In this linked post we see that the convexity of limit cycle play a crucial role. On ...

**45**

votes

**8**answers

6k views

### Does the formal power series solution to $f(f(x))= \sin( x) $ converge?

I have spent some time using gp-pari. There is, of course, a formal power series solution to
$ f(f(x)) = \sin x.$ It is displayed below, identified by the symbol $g$ because I am not entirely sure ...

**102**

votes

**12**answers

22k views

### How to solve $f(f(x)) = \cos(x)$?

I found the following interesting equation on some web page I cannot remember:
$f(f(x))=\cos(x)$
Out of curiosity I tried to solve it, but realized that I do not have a clue how to approach such an ...

**55**

votes

**2**answers

8k views

### Is there a category structure one can place on measure spaces so that category-theoretic products exist?

The usual category of measure spaces consists of objects $(X, \mathcal{B}_X, \mu_X)$, where $X$ is a space, $\mathcal{B}_X$ is a $\sigma$-algebra on $X$, and $\mu_X$ is a measure on $X$, and measure ...

**15**

votes

**2**answers

917 views

### Asymptotic approximation of $x^\alpha$ by entire functions

Given a non-integral real $\alpha$, is there an entire (see http://en.wikipedia.org/wiki/Entire_function) function $h(x)$ such that $x^{-\alpha}h(x)\longrightarrow 1$
for $x\rightarrow+\infty$ (with $...

**94**

votes

**4**answers

24k views

### Is the analysis as taught in universities in fact the analysis of definable numbers?

Ten years ago, when I studied in university, I had no idea about definable numbers, but I came to this concept myself. My thoughts were as follows:
All numbers are divided into two classes: those ...

**36**

votes

**1**answer

4k views

### Geometric interpretation of the half-derivative?

For $f(x)=x$, the half-derivative of $f$ is
$$\frac{d^{\frac{1}{2}}}{dx^{\frac{1}{2}}} x = 2 \sqrt{\frac{x}{\pi}} \;.$$
Is there some geometric interpretation of (Q1) this specific derivative, and, (...

**159**

votes

**33**answers

60k views

### What is convolution intuitively?

If random variable $X$ has a probability distribution of $f(x)$ and random variable $Y$ has a probability distribution $g(x)$ then $(f*g)(x)$, the convolution of $f$ and $g$, is the probability ...

**43**

votes

**11**answers

19k views

### Does the exponential function have a (compositional) square root?

(asked by Nathaniel Hellerstein on the Q&A board at JMM)
Is there a "half-exponential" function $h(x)$ such that $h(h(x))=e^x$? Is it unique? Is it analytic?
Related question: Is there an ...

**36**

votes

**4**answers

3k views

### Binomial again, and again

Let $\lceil a\rceil=$ the smallest integer $\geq a$, otherwise known as the ceiling function. When the arguments are real, interpret $\binom{a}b$ using the Euler's gamma function, $\Gamma$.
Recently, ...

**32**

votes

**3**answers

2k views

### Do these properties characterize differentiation?

Let $L: C^\infty(\mathbb{R}) \to C^\infty(\mathbb{R})$ be a linear operator which satisfies:
$L(1) = 0$
$L(x) = 1$
$L(f \cdot g) = f \cdot L(g) + g \cdot L(f)$
Is $L$ necessarily the derivative? ...

**16**

votes

**2**answers

6k views

### Conditions for smooth dependence of the eigenvalues and eigenvectors of a matrix on a set of parameters

Let $A\in\mathcal M_n$ be an $n\times n$ real [symmetric] matrix which depends smoothly on a [finite] set of parameters, $A=A(\xi_1,\ldots,\xi_k)$. We can view it as a smooth function $A:\mathbb R^k\...

**23**

votes

**9**answers

4k views

### Function with range equal to whole reals on every open set

There is an example of a function that is unbounded on every open set. Just take $f(n/m) = m$ for coprime $n$ and $m$ and $f(irrational) = 0$.
I want to generalize this in a way to get a function ...

**10**

votes

**1**answer

865 views

### Solution of linear ODE

Let $A=A(t)$ be a smooth one parameter family of $n\times n$-matrices, $n\ge 2$.
It seems that the solution of linear ODE
$$\dot x= Ax$$
can not be written in a closed form using $\int$, $A$, $x(0)$ ...

**4**

votes

**2**answers

955 views

### functions with orthogonal Jacobian

I'm working on a model that would require to use vectorial functions of $\mathbb{R}^n \rightarrow \mathbb{R}^n$, such that $\forall x, y \in \mathbb{R}^n$, $\lVert \frac{df(x)}{dx}(y) \lVert_2 = \...

**2**

votes

**0**answers

72 views

### Role of absolute continuity of divergence of BV function in proof of renormalization property

In the paper http://cvgmt.sns.it/paper/436/, the author proves the renormalization property for the flow generated by a vector field $a(t,\cdot) \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
Heuristically, ...

**164**

votes

**19**answers

28k views

### How do I make the conceptual transition from multivariable calculus to differential forms?

One way to define the algebra of differential forms $\Omega(M)$ on a smooth manifold $M$ (as explained by John Baez's week287) is as the exterior algebra of the dual of the module of derivations on ...

**110**

votes

**5**answers

20k views

### Does the inverse function theorem hold for everywhere differentiable maps?

(This question was posed to me by a colleague; I was unable to answer it, so am posing it here instead.)
Let $f: {\bf R}^n \to {\bf R}^n$ be an everywhere differentiable map, and suppose that at each ...

**123**

votes

**6**answers

11k views

### Source and context of $\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 dx/(1+x^2)$?

Possibly the most striking proof of Archimedes's inequality $\pi < 22/7$ is an integral formula for the difference:
$$
\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 \frac{dx}{1+x^2},
$$
where the ...

**19**

votes

**7**answers

11k views

### If d/dx is an operator, on what does it operate?

If $\frac{d}{dx}$ is a differential operator, what are its inputs? If the answer is "(differentiable) functions" (i.e., variable-agnostic sets of ordered pairs), we have difficulty distinguishing ...

**28**

votes

**5**answers

16k views

### Criteria to determine whether a real-coefficient polynomial has real root?

Given a polynomial equation $x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0=0$, where $n$ is even and all the coefficients $a_i$ are real, what is the best way to determine whether it has a real root or not?
I ...

**26**

votes

**1**answer

2k views

### Criteria for boundedness of power series

Consider a power series $\sum_{n=0}^{\infty} a_n x^n$ that is convergent for all real
x, thus defining a function $f: \mathbb{R} \to \mathbb{R}$.
Can one give necessary and sufficient criteria the ...

**23**

votes

**3**answers

2k views

### An explicit series representation for the analytic tetration with complex height

Tetration is the next hyperoperation after more familiar addition, multiplication and exponentiation. It can be seen as a repeated exponentiation, similar to how exponentiation can be seen as a ...

**13**

votes

**5**answers

1k views

### Can always a family of symmetric real matrices depending smoothly on a real parameter be diagonalized by smooth similarity transformations?

This question is related to another question, but it is definitely not the same.
Is it always possible to diagonalize (at least locally around each point) a family of symmetric real matrices $A(t)$ ...

**73**

votes

**4**answers

6k views

### Note rejected from arXiv: what to do next?

Short version: A note of mine was rejected by the arXiv moderation (something I didn't even know was possible) on account of being “unrefereeable”. The moderation process provides absolutely no ...

**13**

votes

**0**answers

701 views

### Multiple Integral (American Mathematical Monthly problem 11621 and its generalization)

AMM problem 11621 asks to calculate the integral
$$I_2=\int\limits_{-\infty}^{\infty}ds_1\int\limits_{-\infty}^{s_1}ds_2
\int\limits_{-\infty}^{s_2}ds_3\int\limits_{-\infty}^{s_3}ds_4
\;\cos{(s_1^2-...

**14**

votes

**5**answers

2k views

### Are there any techniques for solving a differential equation of the form $f ' (x) = f( f( x ) )$?

I am trying to solve the following differential equation
$$f ' (x) = f( f( x ) ),$$
but I have no idea how. I don't think the chain rule is useful for this.
Although I don't think this differential ...

**7**

votes

**2**answers

432 views

### “sinc-ing” integral

Let $a_1,\dots,a_n, b$ be positive real numbers.
*Question.** Is this true?
$$\int_{-\infty}^{\infty}\frac{\sin(bx+a_1x+\cdots+a_nx)}{x}\prod_{j=1}^n\frac{\sin(a_jx)}{a_jx}\,\,dx=\pi.$$
My ...

**4**

votes

**2**answers

808 views

### Convergence of Newton series for sin ax

Let's define half discrete-analytic function as a function whose Newton series converges to that function for each $x>0$:
$$f(x)=\sum_{k=0}^\infty \binom{x}k \Delta^k f\left (0\right)=\sum_{m=0}^{\...

**4**

votes

**1**answer

312 views

### $\sum_{k=1}^n\frac{\sin kx}{k^\alpha} >0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi, \text{and}\ \alpha \ge 1$

The Fejer-Jackson inequality as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
I conjecture that the inequality as follows holds:
$$\sum_{...

**3**

votes

**0**answers

123 views

### Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals

Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii).
In a joint paper that I am ...

**2**

votes

**2**answers

243 views

### Concrete example of BV function $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative

What are examples of two BV functions $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative?
More precisely, I'd like to see an example (and a plot using Mathematica or Matlab) of
a function
$$...

**129**

votes

**17**answers

29k views

### Why is differentiating mechanics and integration art?

It is often said that "Differentiation is mechanics, integration is art." We have more or less simple rules in one direction but not in the other (e.g. product rule/simple <-> integration by parts/...

**82**

votes

**26**answers

12k views

### Probabilistic Proofs of Analytic Facts

What are some interesting examples of probabilistic reasoning to establish results that would traditionally be considered analysis? What I mean by "probabilistic reasoning" is that the approach should ...

**63**

votes

**9**answers

13k views

### Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)

Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?

**30**

votes

**26**answers

47k views

### Text for an introductory Real Analysis course.

Any suggestions on a good text to use for teaching an introductory Real Analysis course? Specifically what have you found to be useful about the approach taken in specific texts?

**46**

votes

**9**answers

4k views

### Undergraduate ODE textbook following Rota

I imagine many people are familiar with the extremely entertaining article "Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations" by Gian-Carlo Rota. (If you're not, do ...

**56**

votes

**1**answer

3k views

### Every real function has a dense set on which its restriction is continuous

The title says it all: if $f\colon \mathbb{R} \to \mathbb{R}$ is any real function, there exists a dense subset $D$ of $\mathbb{R}$ such that $f|_D$ is continuous.
Or so I'm told, but this leaves me ...

**49**

votes

**7**answers

4k views

### On an example of an eventually oscillating function

For $x\in(0,1)$, put
$$f(x):=\sum_{n=0}^{\infty}(-1)^{n}x^{2^{n}}.$$
This function possesses interesting properties. It grows monotonically from $0$ up to certain point. Then it starts to oscillate ...

**42**

votes

**2**answers

5k views

### Alternating sum of square roots of binomial coefficients

Let
$$ c_n = \sum_{r=0}^n (-1)^r \sqrt{\binom{n}{r}}. $$
It is clear that $c_n = 0$ if $n$ is odd. Remarkably, it appears that despite the huge positive and negative contributions in the sum ...

**24**

votes

**2**answers

2k views

### Analogues of Luzin's theorem

If $X$ is a compact metric space and $\mu$ is a Borel probability measure on $X$, then the space $C(X)$ of continuous real-valued functions on $X$ is a closed nowhere dense subset of $L^\infty(X,\mu)$,...

**23**

votes

**3**answers

1k views

### Universality of zeta- and L-functions

Voronin´s Universality Theorem (for the Riemann zeta-Function) according to Wikipedia: Let $U$ be a compact subset of the "critical half-strip" $\{s\in\mathbb{C}:\frac{1}{2}<Re(s)<1\}$ with ...

**18**

votes

**5**answers

4k views

### Existence of a smooth function with nowhere converging Taylor series at every point

By Borel's theorem, for any sequence of real numbers $a_n,$ there is a $C^{\infty}$-function
$f:\mathbb{R}\to\mathbb{R}$ whose Taylor series at 0 is $\sum a_nx^n.$ In particular, there are $C^{\infty}$...

**33**

votes

**2**answers

3k views

### Must the set of lines through the origin on which a nonconstant entire function is bounded be finite?

If an entire function is bounded for all $z \in \mathbb{C}$, than it's a constant by Liouville's theorem. Of course an entire function can be bounded on lines through the origin $z=r \exp(i \phi), \...

**85**

votes

**2**answers

3k views

### History of $\frac d{dt}\tan^{-1}(t)=\frac 1{1+t^2}$

Let $\theta = \tan^{-1}(t)$. Nowadays it is taught:
1º that
$$
\frac{d\theta}{dt} = \frac 1{dt\,/\,d\theta} = \frac 1{1+t^2},
\tag1
$$
2º that, via the fundamental theorem of calculus, this is ...

**25**

votes

**4**answers

2k views

### “Converse” of Taylor's theorem

Let $f:(a,b)\to\mathbb{R}$. We are given $(k+1)$ continuous functions $a_0,a_1,\ldots,a_k:(a,b)\to\mathbb{R}$ such that for every $c\in(a,b)$ we can write $f(c+t)=\sum_{i=0}^k a_i(c)t^i+o(t^k)$ (for ...

**20**

votes

**2**answers

2k views

### Is a real power series that maps rationals to rationals defined by a rational function?

Suppose that the function $p(x)$ is defined on an open subset $U$ of $\mathbb{R}$ by a power series with real coefficients. Suppose, further, that $p$ maps rationals to rationals. Must $p$ be defined ...

**16**

votes

**2**answers

3k views

### Ideals of the ring of smooth functions

The ring $C^\infty(M)$ of smooth functions on a smooth manifold $M$ is a topological ring with respect to the Whitney topology and the usual ring operations. Is it possible to describe, maybe under ...

**26**

votes

**6**answers

1k views

### Is there a topology on growth rates of functions?

I've often idly wondered one can say about the collection of "growth rates". By growth rate, let's say we mean an equivalence class of functions (0,infty) \to (0,\infty), where two functions f_1,f_2 ...

**10**

votes

**1**answer

3k views

### Existence/Uniqueness of solutions to quasi-Lipschitz ODEs

Would the Picard–Lindelöf theorem still be true if the requirement that f be Lipschitz continuous in y was replaced with the requirement that f be almost Lipschitz in y?
If not, are there any moduli ...