The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
87 views

Characterization of a subset of $[0,1]$

Let $T\subseteq[0,1]$ be a subset containing $1$. Now we know that $T$ satisfies the following property: For every $t\in [0,1)$, if there exists a decreasing sequence $\{t_n\}_{n\ge 1}\subset T$ such ...
-7
votes
0answers
87 views

Proof that $\sqrt2$ is irrational [on hold]

Question: Using fundamental theorem of integers and the fact that every natural number that is not prime, prove that $\sqrt{2}$ is irrational unless $n=m^2$ for some $m\in\mathbb N$. Here is how I ...
0
votes
0answers
23 views

Period doubling bifurcations [on hold]

In the bifurcation diagram, is it true that if the function $f_r(x)$ at $x^*$ (where $x^*$ is a fixed point where a bifurcation occurs) can be locally written as a smooth function then ...
-3
votes
0answers
70 views

Question about continuity of Holder functions [on hold]

Let the definition of the oscillation about a point be given as $ \mathrm{osc}[f] (x) : = \lim\limits_{\epsilon \rightarrow 0} \sup_{[x -\epsilon, x + \epsilon]} f - \inf_{[x -\epsilon, x + ...
0
votes
1answer
289 views

For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$ \sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty, $$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
0
votes
1answer
85 views

Existence of bounded $n-$th derivative of the solution of differential equation

This question is the copy from mat.stackexchange.com here. I requestioned here due to the very limited responses there. Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, ...
15
votes
1answer
524 views

Solving a non linear equation

I've been trying to prove that the following equation has a unique solution in interval 0 < x < 1 : $$ x = \Big(\frac{1 - (1-x^2)^K}{1 - (1-x)^K}\Big)^2 $$ Where K is a number (integer, if it ...
3
votes
0answers
75 views

“Integrating” solenoidal vector fields

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 ...
0
votes
0answers
66 views

Ask for a good reference for the calculus involving singular continuous measure [migrated]

I am not an expert on measure theory. I am sorry if this question is too simple for some experts here. Suppose the measure $\mu$ is singular continuous on $\mathbb{R}$, such as the cantor measure. ...
0
votes
1answer
46 views

A function with one partial derivative Hölder continuos is Hölder continuos?

I'm having trouble finding a function of two variables, say $u(t,x)$, such that for some $\alpha\in ]0,1]$ 1. $(t,x)\mapsto \partial_x^2 u(t,x)$ is $C^{0,\alpha}$; 2. $(t,x)\mapsto \partial_x ...
0
votes
0answers
118 views

When is there a polynomial transformation? [closed]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...
0
votes
1answer
111 views

Is the span of those vectors dense in $\ell_2$?

For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} ...
2
votes
2answers
92 views

Question on the number of equilibria

Let $f: C \to C$ be a smooth function and $C$ be a compact set, subset of $\mathbb{R}^n$. We assume that all the fixed points are hyperbolic. Is it true that the number of fixed points is finite or ...
1
vote
1answer
113 views

The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations

Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or ...
13
votes
3answers
1k views

Why is there no Borel function mapping every countable set of reals outside itself?

A choice function maps every set (in its domain) to an element of itself. This question concerns existence of an anti-choice function defined on the family of countable sets of reals. In an answer to ...
3
votes
1answer
380 views

the existence of a real polynomial satisfying the following property

It is easy to verify that $$ \frac{t}{2}\leq \frac{1}{4}+\frac{1}{4}t^2\leq \frac{t}{1-(1-t^2)^2}-\frac{t}{2} \quad \quad 0<t\leq1$$ I want to ask if there exist a real polynomial $h(t)$ such ...
22
votes
8answers
1k views

Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful? I have a vague idea of the possibility of ...
4
votes
3answers
336 views

Inequality of arithmetic, geometric and harmonic means

Let $a_1,\dots,a_n$ be positive numbers, does the following inequality holds? $$\frac{a_1+a_2+\cdots+a_n}{n}-\sqrt[n]{a_1a_2\cdots a_n}\geq\sqrt[n]{a_1a_2\cdots ...
0
votes
2answers
103 views

Can a monotone exponentially decreasing function be uniformely approximated bt Gaussians?

This question originates an engineering application. There is a certain process that is presumed to be a sequence of diffusions and is usually modelled as a sum of Gaussians: $$\Sigma_n ...
1
vote
1answer
56 views

Monotonicity of Trapezoid Approximations

Here's a numerical analysis question which may not be very important, especially in practice, but has been bugging me. Suppose $f$ is a continuous function on an interval $[a,b]$. Let $T_n(f)$ be ...
2
votes
1answer
119 views

Inequality for the tail of normal distribution function

Let $ Ф(x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{x} e^{-t^2/2} \, dt $ be the cumulative distribution function of the standard normal distribution. Numerical calculations suggest the following ...
2
votes
1answer
168 views

Integration of gaussian times absolute value of cosine

Is there a way to compute/estimate the following integral? $\int_0^\infty e^{-(x/c)^2}\left|\cos{x}\right|dx$ where $c$ is a real constant. I would like to know if it is of order $e^{-c^2/4}$ like the ...
-1
votes
0answers
49 views

Convergence of an integral containing the Fourier transform of compact supported function

Let $u\in {{L}^{1}}\left( \mathbb{R} \right)$, ${{\left\| u \right\|}_{{{L}^{1}}\left( \mathbb{R} \right)}}=1$, $u\ge 0$, $\operatorname{supp}\left( u \right)\subset \left[ -S,S \right]$. Here ...
3
votes
1answer
104 views

Separability of $R_+\times\mathcal{C}(R_+)$

Let $\mathcal{C}(R_+)$ be the space of continuous functions $f$ defined on $[0,+\infty)$ with $f(0)=0$. Denote by $\Omega$ the product of $R_+$ and $\mathcal{C}(R_+)$. Now endow $\Omega$ with the ...
0
votes
1answer
51 views

Extending point-wise bound to uniform bound

Suppose $f(t,x)\in \mathcal{C}^0([0,1]\times \mathbb{R}^n)$. Further suppose that for each $t$ $$ C(t):= \sup_{x\in\mathbb{R}^n} |f(t,x)|<\infty \, .$$ Does it follow that $f$ is bounded? Note ...
3
votes
0answers
127 views

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

Preliminary Definition We define the Zygmund spaces $C^r_{*}$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are allowed to have values in $\mathbb{R}^m$, via working with ...
13
votes
4answers
534 views

Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers $$ A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3 = \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 . $$ In an email, physicist Alan Sokal ...
0
votes
1answer
124 views

The Largest Root of Associated Laguerre Polynomial

The Laguerre polynomial $L_n(x)$ is the solution to the Laguerre differential equation \begin{equation*} x\,y'' + (1 - x)\,y' + n\,y = 0. \end{equation*} The associated Laguerre polynomial ...
0
votes
0answers
130 views

Natural integration constant for normal and discrete integration: is there a connection?

It is often assumed that integration, unlike differentiation is defined only to an arbitrary constant. So the antiderivative function is often left undefined or postulated to be zero in zero. But I ...
4
votes
1answer
101 views

Are there superexponential Pfaffian functions?

This question is motivated by model theory, but it's really an analysis question (which means it may have an easy analysis answer that I just don't have the background for). Here's the main question, ...
4
votes
0answers
162 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} ...
13
votes
4answers
800 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 ...
6
votes
0answers
128 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 ...
4
votes
0answers
75 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 ...
0
votes
1answer
175 views

Limits of functions with converging zeros

What can one say about the derivatives of a smooth function of several variables that is a limit of smooth functions with converging zeros? More precisely, suppose that $f_i: R^n \to R^m$ is a ...
6
votes
0answers
109 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} ...
-1
votes
2answers
113 views

Is real analytic function good enough (see problem)? [closed]

Let $f \colon \mathbb{R}\to \mathbb{R}$ be real analytic and let $A\subseteq \mathbb{R}$ be such that the set $A'$ of all accomulation points od $A$ is not empty. If $f(a)=0$ for all $a \in A$ is then ...
0
votes
0answers
125 views

Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
3
votes
3answers
342 views

Non-zero smooth functions vanishing on a Cantor set

It is easy to give examples of continuous functions $f:[0,1]\to \mathbb R_+\cup\{0\}$ non-zero but vanishing on a Cantor set (ex: Can Cantor set be the zero set of a continuous function?). It is ...
0
votes
0answers
99 views

how to solve f(f(x))=x^2+x [duplicate]

Now I just know the equation f(f(x))=x^2+x, how can I find the f(x)? I have already tired many times,but I found it is difficult to solve it by any way I knew.So please help me solve the problem,and ...
0
votes
0answers
11 views

Hello, everyone, I want to ask you a question about a proof in the Terence Tao's Real Analysis notes [migrated]

everyone. I am using Terence Tao's Real Analysis notes to self learn Analysis 1. There is one thing in the proof of Theorem 27 (Least Upper Bound Property) in “week 2 note” that I don’t understand ...
0
votes
1answer
202 views

Prove that these two definitions of “natural” integration constant coincide when both converge

These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details). The first one is based on ...
2
votes
1answer
249 views

Beurling density and interpolation

Let $\Lambda=\{\lambda_n\}_1^\infty$ a set of points on the real line. We denote by $\bar{n}(r)$ the largest number of points in any interval $[x,x+r]$, $r>0$. Define the upper uniform density ...
-2
votes
1answer
412 views

Why calculus textbooks do not include the natural integration constants in the tables of integrals? [closed]

The formulas for integrals in the textbooks usually define indefinite integral up to a constant term. Yet the natural integration constant for antiderivative can be fixed from the following formula ...
2
votes
1answer
195 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Definition Let $E$ and $F$ be two Banach spaces together with a plain subset ...
6
votes
3answers
2k views

Hilbert's 17th Problem for smooth functions

Consider an open subset $U \subseteq \mathbb{R}^n$ and a smooth function $f\colon U \longrightarrow \mathbb{R}$ with $f(x) \ge 0$ for all $x \in U$. It is then known (if I remember correctly: by ...
0
votes
0answers
28 views

Integrating over the Intersection of Convex Regions

Is there a way to integrate over the intersection of a finite collection of convex regions, using only the definition of the regions (i.e. without actually calculating the intersections)? The ...
18
votes
2answers
2k views

Is this statement which relates the Fourier transform of a function to its singularities correct?

I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...
4
votes
2answers
198 views

What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?

In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in ...
1
vote
2answers
196 views

Set of distinct real numbers such that all combination of sums are distinct

Let $\Lambda :=\{\lambda_1, \dots, \lambda_n\}$ be a set of $n$ distinct real numbers. For a given $p \in \mathbb N$, consider further the set $$I_p := \{ \{i_1, i_2, \dots, i_p\} : i_j \in \{1, ...