当前位置：
＞＞＞已知函数f（x）=2asin2x+23asinxocosx+a+b（a＞0，x∈R），当x∈[0，π2]..
已知函数f（x）=2asin2x+23asinxocosx+a+b（a＞0，x∈R），当x∈[0，π2]时，其最大值为6，最小值为3，（1）求函数的最小正周期；（2）求a，b的值；（3）此函数的图象，可由y=sinx的图象经过怎样的变换得到．
题型：解答题难度：中档来源：不详
f（x）=2asin2x+23asinxcosx+a+b=a（1-cos2x）+3asin2x+a+b=2asin（2x-π6）+2a+b&（5分）（1）T=π（7分）（2）x∈[0，π2]时，2x-π6∈[-π6，5π6]则有：sin（2x-π6）∈[-12，1]，由条件：a+b=3，4a+b=6，则&a=1，b=2为所求．（11分）（3）①将y=sinx向右平移π6→y=sin（x-π6），②纵坐标不变，横坐标变为原来的一半→y=sin（2x-π6），③横坐标不变，纵坐标变为原来的二倍→y=2sin（2x-π6）+4④向上平移4个单位→y=2sin（2x-π6）+4．（14分）也可以先伸缩后平移，酌情给分．
马上分享给同学
据魔方格专家权威分析，试题“已知函数f（x）=2asin2x+23asinxocosx+a+b（a＞0，x∈R），当x∈[0，π2]..”主要考查你对&&任意角的三角函数，函数y=Asin（wx+φ）的图象与性质&&等考点的理解。关于这些考点的“档案”如下：
现在没空？点击收藏，以后再看。
因为篇幅有限，只列出部分考点，详细请访问。
任意角的三角函数函数y=Asin（wx+φ）的图象与性质
任意角的三角函数的定义：
设α是任意一个角，α的终边上任意一点P的坐标是（x，y），它与原点的距离是，那么，，以上以角为自变量，比值为函数的六个函数统称为三角函数。三角函数值只与角的大小有关，而与终边上点P的位置无关。
象限角的三角函数符号：
一全正，二正弦，三两切，四余弦。 特殊角的三角函数值：（见下表）
函数的图象：
1、振幅、周期、频率、相位、初相：函数，表示一个振动量时，A表示这个振动的振幅，往返一次所需的时间T=，称为这个振动的周期，单位时间内往返振动的次数称为振动的频率，称为相位，x＝0时的相位叫初相。 2、用“五点法”作函数的简图主要通过变量代换，设X＝由X取0，来找出相应的x的值，通过列表，计算得出五点的坐标，描点后得出图象。 3、函数＋K的图象与y=sinx的图象的关系： 把y=sinx的图象纵坐标不变，横坐标向左（φ＞0）或向右（φ＜0），y=sin（x+φ） 把y=sin（x+φ）的图象纵坐标不变，横坐标变为原来的，y=sin（ωx+φ） 把y=sin（ωx+φ）的图象横坐标不变，纵坐标变为原来的A倍，y=Asin（x+φ）把y=Asin（x+φ）的图象横坐标不变，纵坐标向上（k＞0）或向下（k＜0），y=Asin（x+φ）+K； 若由y=sin（ωx）得到y=sin（ωx+φ）的图象，则向左或向右平移个单位。 函数y=Asin（x+φ）的性质：
1、y=Asin（x+φ）的周期为； 2、y=Asin（x+φ）的的对称轴方程是，对称中心（kπ，0）。
发现相似题
与“已知函数f（x）=2asin2x+23asinxocosx+a+b（a＞0，x∈R），当x∈[0，π2]..”考查相似的试题有：
865255847851805019463071804836335268contest math - Find $f(x)$ such that $f(f(x)) = x^2 - 2$ - Mathematics Stack Exchange
to customize your list.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top
Find all $f(x)$ satisfying $f(f(x)) = x^2 - 2$.
Presumably $f(x)$ is supposed to be a function from $\mathbb R$ to $\mathbb R$ with no further restrictions (we don't assume continuity, etc), but the text of the problem does not specify further.
Possibly Helpful Links: Information on similar problems can be found
It is about to be closed for containing too many problems in one question. I'm posting each problem separately.
17.8k852139
There is no such $f$.
, the question of existence is determined by the theorem:
Theorem 6. Let $\mathbb{R}$ be the real line. Let $g$ be a real quadratic polynomial, so that
$$g(x)=ax^2+ (b + 1)x+c,$$
for all real $x$, where $a\ne 0$, $b$, and $c$ are in $\mathbb{R}$. ... set $\Delta(g)= b^2-4ac$. If $\Delta(g)& 1$,
then g has no iterative roots of any order whatever. [That is, there is no $f$ such $f\circ f = g$.]
If $\Delta(g) =1$, then $g$ can be embedded in a 2-sided
flow on $\mathbb{R}$, all of whose members are continuous functions. If $\Delta(g) &1$, then $g$ can be embedded in a
1-sided flow on $\mathbb{R}$, all of whose members are
but $g$ cannot be embedded in any
2-sided flow on $\mathbb{R}$.
As $\Delta(g) = 0 - 4(1)(-2) = 8 & 1$ in your case, the question of existence is negative.
Looking closely at the article, the main point is that no function with only one 2-cycle can have a square root. In our case that means that there can be no partial solution $f:D\to D$ of the funcional equation $f(f(x))=x^2-2$ in $D\subset\Bbb{R}$ if $x_0=\frac{-1+\sqrt{5}}{2}\approx 0.61803$ or
$x_2=\frac{-1-\sqrt{5}}{2}\approx -1.61803$ are in $D$.
In fact, clearly $x_0^2-2=x_2$ and $x_2^2-2=x_0$ (this implies that $x_0\in D$ if and only if $x_2\in D$).
There can be no other pair $y_1\ne y_2$ with $y_1^2-2=y_2$ and $y_2^2-2=y_1$, since then
\{-1,2,x_0,x_2,y_1,y_2\}
would be roots of the polynomial $P(x)=x^4 - 4 x^2 - x + 2$, since
$y_1^2-2=y_2$ and $y_2^2-2=y_1$ implies
(y_1^2-2)^2-2=y_1\quad\Rightarrow \quad y_1^4-4y_1^2+2=y_1
\quad\Rightarrow \quad P(y_1)=0
and similarly $P(y_2)=0$.
Now, if $x_0\in D$ (or $x_2\in D$) and $f:D\to D$ satisfy $f(f(x))=x^2-2$, then $x_1:=f(x_0)$ and $x_3:=f(x_2)$ would be such a pair, a contradiction that proves $x_0\notin D$ (and $x_2\notin D$).
Hmm, if we look at $g(x) = f(f(x)) = x^2-2$ and find the fixpoints $t_0=-1,t_1=2$
then we might assume a solution $w(x)$ for $g(x) = h(x-2)+2 = w(w(x-2))+2$
We find then that $$h(x) = g(x+2)-2
= (x+2)^2-4 = 4x+1x^2$$ and the power series $$w(x)
2 x + 1/6 x^2 - 1/90 x^3 + 1/720 x^4 - 7/32400 x^5 \\ + 161/4276800 x^6 - 391/ x^7 + O(x^8)
$$ and thus $f(x)$ is a power series around 2:
= 2+ 2 (x-2) + 1/6 (x-2)^2 - 1/90 (x-2)^3 + 1/720 (x-2)^4 - 7/32400 (x-2)^5 \\ + 161/4276800 (x-2)^6 - 391/ (x-2)^7 + O(x^8)
(This is a confirmation
and a cosh/arccosh-formula, see my other answer)
It looks as if
$w(x)$ has a positive
and computing a couple of examples gives
$$ \begin{array} {c|c|c|c} x &g(x)=h(1-t_1)+t_1 & f(x) = w(x-t_1)+t_1 & f(f(x))=w(w(x-t_1))+t_1\\ \hline\\
1.0845281 &
3.7069623&
\end{array}$$
while the results for $f(x)$ are only (but well) approximated because I've only the truncation to say 32 or 64 terms so far and not yet an analytical description for the coefficients which only would allow an exact result.
For the time being here is a plot taken on base of the power series for $f(x)$ truncated to 32 terms. I plotted $y=x,y=f(x),y=f(f(x))=g(x),y=g(f(x))$ to show more pattern. Unfortunately I don't know the Pari/GP-plot facility well enough to make the picture selfexplanatory. But I think one recognizes the $y=x$ straight line and the $y=g(x)$ parabola (red). The $y=f(x)$ curve (green) is that in between and the $y=g(f(x))$ (green) is that beyond the parabola:
This is additional information according to the request in the comment of @dfeuer
1) Generalities (Remark: $f(x)$ is meant here in general, not yet your sought function)
There is consent (see for instance L. Comtet, "Advanced Combinatorics", pg 144-148) that for power series without constant term there is a meaningful fractional iterate using the Bell-polynomials based on the formal power series for the function. One can express this more elegantly and concise in terms of Bell/Carleman matrixes ( but for convenience I use the Carleman matrix here in transposed form) , which have a form such that for a function $f(x)$ we have
$$ V(x) \cdot B = V(f(x)) \\
V(x) \cdot B^2 = V(f(f(x))) \\
V(x) \cdot B^n = V(f^{[n]}(x)) \\
where the notation $V(x)=[1,x,x^2,x^3,...]$ and thus $V(f(x))=[1,f(x),f(x)^2,f(x)^3,...]$ means infinite vectors of an indeterminate argument $x$.
This notation allows to isolate the required coefficients of the power series of $f(x)$ into the (infinite, lower triangular) matrix $B$ . Then for the operation of composition and self-composition (aka iteration) via the Bell-polynomials it suffices to denote powers of the matrix $B$ - because they implicitely define that required Bell-polynomial driven operations on the formal powerseries .
If the power series for $f(x) = \sum_{k=1}^\infty b_k\cdot x^k$ has no constant term, then the associated Bell-/Carleman-matrix is lower triangular, and powers of it can be computed also on the finitely truncated versions - giving exact coefficients which are valid also for the untruncated/infinite-size case.
Moreover this is also possible for fractional powers, and in particular for the square-root, which provides then the solution that you are searching.
2) How this concerns your problem (here $f(x)$ means your function)
The procedure is now to find an equivalent power series (or polynomial) for your function (let's call it $g(x)=f(f(x))$) which has no constant term - by shifting the $x$ and $y$-coordinate, such that
= x^2-2 $ which has a constant term, is rewritten as $h(x) = 4x + x^2$ which has no constant term and then $$g(x) = h(x-2) + 2 \\ g(g(x)) = h(h(x-2))+2 \\ \cdots$$.
Then for the function $h(x)$ we build the (lower triangular) Carleman-matrix $H$ which begins as $$ H= \small \begin{bmatrix}
1 & . & . & . & . & . \\
0 & 4 & . & . & . & . \\
0 & 1 & 16 & . & . & . \\
0 & 0 & 8 & 64 & . & . \\
0 & 0 & 1 & 48 & 256 & . \\
0 & 0 & 0 & 12 & 256 & 1024
\end{bmatrix} \qquad \text{ matrix H is of infinite size} $$
and obviously the dot product with a $V(x)$-vector evaluates then to a $V(h(x))$-vector: $$ V(x) \cdot H = V(h(x))$$
Then the squareroot (let's call it $W$) of $H$ such that $W^2 = H$ can be determined by solution of an infinite equation system or by diagonalization.
One solution is again lower triangular and instead of a polynomially function like $h(x)$ it provides the coefficients of a power series. It begins like
$$ W = \small \begin{bmatrix}
1 & . & . & . & . & . \\
0 & 2 & . & . & . & . \\
0 & 1/6 & 4 & . & . & . \\
0 & -1/90 & 2/3 & 8 & . & . \\
0 & 1/720 & -1/60 & 2 & 16 & . \\
0 & -7/32400 & 1/540 & 1/30 & 16/3 & 32
\end{bmatrix} \qquad \text{ matrix W is of infinite size}$$
The second column gives the coefficients for the power series of $w(x)$ with the property $w(w(x-2))+2 = g(x)$ and thus is an acceptable solution $f(x)=w(x-2)+2$.
Additional remark: Often with fractional iterates the occuring power series have very small or zero range of convergence - then additional measures must be introduced to make the solution usable and meaningful, but the powerseries for $w(x)$ here seems to have a convergence-radius of about 4 and can be used for a not-too-small range of x -values.
17.4k22773
The following observation comes from a comment by Sergei Ivanov in
MathOverflow post. It discusses the existence of $f : \mathbb{C} \to \mathbb{C}$ such that $f(f(z)) = g(z)$ where $g(z) = z^2 - 2$. I am aware that this is not precisely what the question asks for, but it may be helpful.
Let $g : \mathbb{C} \to \mathbb{C}$ be a quadratic polynomial such that $g(z) - z$ has distinct roots, then there are four solutions of $g(g(z)) = z$: the two roots of $g(z) - z$ and two points $a$, $b$ such that $g(a) = b$ and $g(b) = a$. If $g(z) = f(f(z))$ then the point $f(a)$ must be another solution to $g(g(z)) = z$. Note, this doesn't assume $f$ is continuous.
(Note: I have paraph the original comment can be found .)
Now note that if $g(z) = z^2 - 2$, then $g(z) - z = z^2 - z - 2 = (z - 2)(z + 1)$, so the above observation applies to $z^2 - 2$.
Here are some details about the second paragraph.
Why are there four solutions to $g(g(z)) = z$?
$g(z)$ is a quadratic, so $g(g(z))$ is a quartic, as is $g(g(z)) - z$. By the fundamental theorem of algebra, there are four roots of the equation $g(g(z)) - z = 0$, though some may be repeated.
Why are the zeroes of $g(z) - z$ solutions to $g(g(z)) = z$?
As $g(z) - z$ has distinct zeroes, call them $w_1, w_2$. As $g(w_1) - w_1 = 0$, $g(w_1) = w_1$. Therefore $g(g(w_1)) = g(w_1) = w_1$. Likewise, $g(w_2) = w_2$ and $g(g(w_2)) = w_2$.
Why must the other two roots of $g(g(z)) = z$ be $a, b$ such that $g(a) = b$ and $g(b) = a$?
Let $a$ be a zero of $g(g(z)) = z$ other than $w_1$ and $w_2$. Now let $b = g(a)$. Then $a = g(g(a)) = g(b)$ and $g(g(b)) = g(a) = b$, so $b$ is the final zero.
Why must $f(a)$ be another solution to $g(g(z)) = z$?
Note that $f(f(a)) = g(a) = b$ and $f(f(b)) = g(b) = a$ so
$$g(g(f(a))) = g(f(f(f(a)))) = g(f(g(a))) = g(f(b)) = f(f(f(b))) = f(g(b)) = f(a).$$
To see that this is a new solution, note that $f(a) \neq w_1$ otherwise
$$b = g(a) = f(f(a)) = f(w_1),$$
$$f(b) = f(f(w_1)) = g(w_1) = w_1.$$ Therefore
\begin{align*}
f(a) &= f(b)\\
f(f(a)) &= f(f(b))\\
g(a) &= g(b)\\
\end{align*}
which is a contradiction. Likewise, $f(a) \neq w_2$.
If $f(a) = a$ then
$$f(a) = a = g(g(a)) = g(f(f(a))) = g(f(a)) = g(a) = b,$$ which is a contradiction.
Finally, if $f(a) = b$ then
$$b = g(a) = f(f(a)) = f(b)$$
which leads to a similar contradiction as in the $f(a) = a$ case.
46.3k1158198
Michael's answer is fine, but here is a more in-depth analysis.
We want to look at the connected components of the graph whose vertices are the reals and where there is an arrow from $x$ to $y$ when $y = f^2(x) = x^2-2$.
It is clear that $f$ has to send connected components to connected components, so that given one component, either $f$ sends it onto itself (though it is not always possible), either $f$ goes back and forth with another component. Furthermore if two components are isomorphic (there is a bijective $\pi : X \to Y$ commuting with $f^2$), then we can always do so : pick $f_X = \pi$ and $f_Y = \pi^{-1} \circ f^2$.
If $|x|&2$, $x$ is among a component of the shape
$\begin{array}
& &\cdot & & \cdot & &
\cdot & \\
&\downarrow & & \downarrow & &
\downarrow & &
\downarrow & \\
\cdots \rightarrow &\cdot &\rightarrow &\cdot &\rightarrow& \cdot& \rightarrow &\cdot \rightarrow &\cdots \end{array}$
where the top row has negative reals, the bottom row has positive reals, the limit on the left is $\pm 2$ and the limit on the right is $\pm \infty$.
There are uncountably many such components, so we can pair them up and define $f $ appropriately ($f$ can even be chosen continuous on $(-\ -2) \cup (2 ; \infty)$)
For $|x| \le 2$, we have $f^2(2\cos a) = 2\cos(2a)$.
If $a/\pi$ is irrational, $2\cos a$'s component is made of all the $2\cos(2^ka + b\pi)$ with $k \in \Bbb Z$ and $b$ a dyadic rational, and takes the form of an infinite complete binary "tree" (it's not a tree because it's infinite both ways, and there is no root). Again, there are uncountably many such components, so using the axiom of choice, we can partition them into isomorphic pairs and define a square root $f$.
Next, we have the components with rational $a/\pi$. Those have cycles.
If $(f^2)^n(x) = x$, then $(f^2)^n(f(x)) = f((f^2)^n(x)) = f(x)$, so $n$-cycles of $f^2$ have to be sent to $n$-cycles of $f^2$. Moreover, if $n$ is even, you can't send an $n$-cycle to itself, so you necessarily need another $n$-cycle in another component.
There are two (non-isomorphic) components with a $1$-cycle,
$ \cdots \rightrightarrows 0 \rightarrow -2 \rightarrow 2 \\
\cdots \rightrightarrows 1 \rightarrow -1
(with infinite complete binary trees on the left)
The first one can't be mapped to itself, but we can pair those up by $0 \rightarrow 1 \rightarrow -2 \rightarrow -1 \leftrightarrow 2$
All the other cycles component are $n$-cycles with infinite complete binary trees attached to each vertex of the cycle. And even for odd length cycles, you can't send the component to itself. In any case, you need to pair them up in order to define $f$.
It is quick to compute the numbers of cycles of length $k$ : they are all neatly embedded in $(\Bbb Z / (2^k \pm 1) \Bbb Z,\times)/\{\pm 1\}$ via the map $(x \mod m) \mapsto 2\cos(2x\pi/m)$. So we pick those two semigroups, remove every smaller-length cycle they contain, get the number of elements left, and divide by $k$ to get the number of cycles.
We get $1,2,3,6,9,18,30,\ldots$ cycles of respective length $2,3,4,5,6,7,8,\ldots$. Unfortunately, it seems we often get an odd number of cycles of a given length. Simply knowing there is only one $2$-cycle (between $2\cos{\frac{2\pi}5}$ and $2\cos{\frac{4\pi}5}$) shows that we can't define $f$ properly.
33.4k23679
Any solutions to this problem should be fi the key is that the given quadratic is topologically conjugate to the 'critical' logistic map, which in turn is known to be topologically conjugate to the so-called bit shift map.
Let $f(x) = x^2-2$, $g(x) = 4x(1-x)$, $p(x) = 2-4x$.
Then we can confirm that $f(p(x)) = (2-4x)^2-2 = 16x^2-16x+2$, while $p(g(x)) = 2-4(4x(1-x)) = 16x^2-16x+2$.
But now, taking $q(x) = \sin^2(2\pi x)$, it can be shown that $g(q(x)) = q(h(x))$ on $[0,1]$, where $h(x)$ is the bit-shift map $h(x) = 2x\bmod 1$ (this works because $g(q(x))$ $= 4(\sin^2(2\pi x))(1-\sin^2(2\pi x))$ $= 4\sin^2(2\pi x)\cos^2(2\pi x)$ $= \sin^2(2\cdot 2\pi x)$, etc).
Now, suppose we have a 'functional square root' $H(x)$ of the bit- that is, a function $H(x)$ such that $H(H(x)) = h(x)$.
Then by 'chasing the chain' of conjugacies, we can turn this into a functional square root $F(x)$ of the original $f()$: letting $r = p\circ q$ (that is, defining $r(x) = p(q(x))$) we have $f\circ r=r\circ h$, so $f = r\circ h\circ r^{-1}$..
But then setting $F=r\circ H\circ r^{-1}$ we get $F\circ F = r\circ H\circ r^{-1}\circ r\circ H\circ r^{-1} = r\circ H\circ H\circ r^{-1} = r\circ h\circ r^{-1} = f$.
The problem thus reduces to finding an $H$ such that $H\circ H(x)=h(x) = 2x\bmod 1$.
For $x$ in a limited range (e.g., $x\lt \frac12$ & and I haven't translated back to see what interval of the original problem this represents), we can simply take $H(x) = \sqrt{2}x$ as a solution, but this piecewise-linear behavior can't be extended to the whole of $[0,1]$: requiring $H(x) = \sqrt{2}x$ on $x\lt\frac12$ implies that it must in fact be true for $x\lt\frac1{\sqrt{2}}$ so that $H(H(x)) = 2x$ for all $x\lt\frac12$; but now consider $x=\frac12+\epsilon$, which then yields $H(H(x))$ $= H(\frac1{\sqrt{2}}+\sqrt{2}\epsilon)$ $=2\epsilon$, and then $H(H(\frac1{\sqrt{2}}+\sqrt{2}\epsilon))$ $= H(2\epsilon)$ $= 2\sqrt{2}\epsilon$, contradicting the requirement that $H(H(\frac1{\sqrt{2}}+\sqrt{2}\epsilon))$ $=h(\frac1{\sqrt{2}}+\sqrt{2}\epsilon)$ $=\sqrt{2}-1+2\sqrt{2}\epsilon$.
This argument might be extendible to show there are no piecewise-continuous solutions outside a specific range, but that's well beyond my ken.
32.5k650101
There is another way to arrive by a meaningful generalization to a result. (Btw., this is essentially the same result which I got using the C if we recenter the function $w(x)$ of my previous posting we get $f(x)$ with all displayed digits correct.)
The resulting function has the following power series:
$$ f(x) = -1. + 1. x + 0. x^2 - 0.7 x^3 + 0.8 x^4 - 0.42 x^5 + 0.93 x^6 - 0.915 x^7 + O(x^8) \\
f(f(x)) = -2 + x^2
The key here is to observe, that the basic function $g_2(x)=-2 + x^2$ is a rescaled
$T_2(x)$ such that $g_2(x) = 2 \cdot T_2(x/2)$
Now the iterates of $g_2^{\circ h} (x)$ are in a similar way as the Chebychev-polynomials expressible by the composition
$$ g_2(x) = 2 \cdot \cosh(2 \cdot \mathrm{arccosh}(x/2)) $$
and the h'th iterate
$$ g_2^{\circ h}(x) = 2 \cdot \cosh(2^h \cdot \mathrm{arccosh}(x/2)) $$
This composition allows a natural extension to the fractional using $h=1/2$ we get
$$ \begin{array} {llll} g_2^{\circ 1/2}(x) &=& f(x) \\ &=& -1. + 1. x + 0. x^2 \\
& & - 0.7 x^3 + 0.8 x^4 - 0.42 x^5 \\ & & + 0.93 x^6
- 0.915 x^7 + O(x^8) \\ & & \text{ and }\\
f(f(x)) &=& -2 + x^2 \end{array} $$
Of course we have to reflect restrictions for the domain. If we work only over the reals then we have because of the inner arccosh-function $ x \in (2,\infty) $. However, if we extend the domain to complex numbers this can be extended. (While multivaluedness might then occur - I don't have the exact description at hand yet, Pari/GP which has complex arithmetic builtin works with the complete disk around the complex origin.)
The function $w(x)$ in the other post can be reproduced putting the cosh/arccosh-formula into Wolframalpha. Using
we get in the paragraph "series around 2" the representation of $f(x)$ using the coefficients of $w(x-2)+2$
17.4k22773
We are looking for maps $f$ satisfying $$f\circ f=h\ ,\tag{1}$$ where $h$ is given by
$$h:\quad x\mapsto h(x):=x^2-2\ .$$
The map $h$ has the two fixed points $p=-1$, $q=2$ with $h'(p)=-2$, $h'(q)=4$.
Writing $x=2+t$ with a new coordinate $t$ the map $h$ assumes the form $$h:\ t\mapsto 4t+t^2\ .\tag{2}$$
By Koenig's theorem (see John Milnor: Dynamics in one complex variable, Theorem 8.2) one can replace $t$ in the neighborhood of $t=0$ by a new local variable $\tau=\phi(t)$ such that $h$ now appears as
$$h:\quad \tau\mapsto 4\tau\ .$$
Coming back to $f$ there might be solutions of $(1)$
with $f(2)=c\ne2$, $f(c)=2$. In any case
we now can look for solutions $f$ for which $2$ is a fixed point as well. In terms of the variable $\tau$ these would satisfy
$$f\bigl(f(\tau)\bigr)\equiv4\tau\ ,\tag{3}$$
and it should not be difficult to show that the only analytical solutions to $(3)$ are $f(\tau)=\pm 2\tau$. When we want $f$ in terms of $t$ we have to write
$$f(t):=\pm2t+\sum_{k=2}^\infty a_k t^k$$ and to determine the coefficients $a_k$ from $(2)$, i.e. using
$$f\bigl(f(t)\bigr)\equiv 4t + t^2\ .$$
A similar analysis can be done with the fixed point $p=-1$ of $h$. There we would
write $x=-1+t$ and obtain two $f$'s of the form
$$f(t)=\pm \sqrt{2} i\& t +{\rm higher\ terms}\ .$$
112k368198
Your Answer
Sign up or
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Post as a guest
By posting your answer, you agree to the
Not the answer you're looking for?
Browse other questions tagged
The week's top questions and answers
Important community announcements
Questions that need answers
Mathematics Stack Exchange works best with JavaScript enabled