Раздел I. Введение в анализ§ 8. Обратная функция. Функции, заданные параметрически

Демидович — задача 784

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 784

Пусть функции φ(x)\varphi(x) и ψ(x)\psi(x) определены и непрерывны на интервале (a,b)(a,b) иA=infa<x<bφ(x),B=supa<x<bφ(x).A=\inf_{a<x<b}\varphi(x),\qquad B=\sup_{a<x<b}\varphi(x).В каком случае существует однозначная функция f(x)f(x), определенная в интервале (A,B)(A,B) и такая, чтоψ(x)=f(φ(x))при a<x<b?\psi(x)=f(\varphi(x))\qquad\text{при }a<x<b?

Решение

Идея

Если существует функция ff, определённая на (A,B)(A,B), иψ(x)=f(φ(x))\psi(x)=f(\varphi(x))для всех x(a,b)x\in(a,b), то прежде всего должно выполнятьсяA<φ(x)<Bдля всех x(a,b),A<\varphi(x)<B\qquad\text{для всех }x\in(a,b),иначе при φ(x)=A\varphi(x)=A или φ(x)=B\varphi(x)=B значение f(φ(x))f(\varphi(x)) не определено.
  1. 1
    Кроме того, если φ(x1)=φ(x2)\varphi(x_1)=\varphi(x_2), тоψ(x1)=f(φ(x1))=f(φ(x2))=ψ(x2).\psi(x_1)=f(\varphi(x_1))=f(\varphi(x_2))=\psi(x_2).Поэтому необходимо условиеφ(x1)=φ(x2)ψ(x1)=ψ(x2).\varphi(x_1)=\varphi(x_2)\quad\Rightarrow\quad\psi(x_1)=\psi(x_2).
  2. 2
    Покажем, что этих двух условий достаточно. Так как φ\varphi непрерывна иA=infa<x<bφ(x),B=supa<x<bφ(x),A=\inf_{a<x<b}\varphi(x),\qquad B=\sup_{a<x<b}\varphi(x),она принимает каждое значение y(A,B)y\in(A,B). Действительно, по определениям точных граней найдутся x1,x2(a,b)x_1,x_2\in(a,b), для которыхφ(x1)<y<φ(x2),\varphi(x_1)<y<\varphi(x_2),и по теореме о промежуточном значении существует xx между x1x_1 и x2x_2 такой, что φ(x)=y\varphi(x)=y.

    Поэтому для каждого y(A,B)y\in(A,B) можно выбрать любое x(a,b)x\in(a,b) с φ(x)=y\varphi(x)=y и положитьf(y)=ψ(x).f(y)=\psi(x).Если значение yy достигается при нескольких значениях xx, условиеφ(x1)=φ(x2)ψ(x1)=ψ(x2)\varphi(x_1)=\varphi(x_2)\Rightarrow\psi(x_1)=\psi(x_2)показывает, что f(y)f(y) не зависит от выбора xx.A<φ(x)<Bдля всех x(a,b),φ(x1)=φ(x2)ψ(x1)=ψ(x2)для всех x1,x2(a,b).\boxed{
    \begin{gathered}
    A<\varphi(x)<B\quad\text{для всех }x\in(a,b),\\
    \varphi(x_1)=\varphi(x_2)\Rightarrow\psi(x_1)=\psi(x_2)
    \quad\text{для всех }x_1,x_2\in(a,b).
    \end{gathered}}

Проверка

Таким образом, функция ff существует и однозначно определяется на всём интервале (A,B)(A,B).
Демидович № 784 — решение