«неявная функция»

- функция заданная уравнением - нек-рые множества, т. е. такая функция f, что при любом имеет место . Если - топологич. пространства и для нек-рой точки выполняется условие то при определенных условиях в нек-рой окрестности точки уравнение однозначно разрешимо относительно одной из переменных. Свойства решения этого уравнения описываются теоремами о Н. ф.

Простейшая теорема о Н. ф. состоит в следующем. Пусть Xи Y - подмножества числовой прямой , - внутренняя точка множества на плоскости; тогда если функция Fнепрерывна в нек-рой окрестности точки и существуют такие что при любом фиксированном функция как функция переменного устрого монотонна на интервале

, то найдется такое , что существует и притом единственная функция такая, что для всех причем функция f(х)непрерывна и . Условия этой теоремы выполняются, если функция непрерывна в окрестности точки , существует частная производная F_y , непрерывная в точке , Если, кроме того, существует и частная производная , также непрерывная в точке то Н. ф. f дифференцируема в точке x₀ , причем

Эта теорема обобщается на случай системы уравнений, т. е. когда Fявляется векторной функцией. Пусть и суть и мерные евклидовы пространства с фиксированными системами координат, точки к-рых соответственно Пусть Fотображает нек-рую окрестность Wточки в пространство и , - координатные функции (от n+m переменных отображения F, т. е.. Если отображение Fдифференцируемо на а якобиан

то существуют окрестности Uи Vточек х ₀ и у ₀ соответственно в пространствах и единственное отображение такие, что для всех выполняется условие . При этом отображение f дифференцируемо на U, а если то явное выражение для частных производных находится из системы т. линейных относительно этих производных уравнений

k=1, 2,..., т, i фиксировано (i=l, 2,..., п). Иногда основное утверждение теоремы формулируется следующим образом: существуют окрестности Uи W₀ точек х ₀ и в пространствах и единственное отображение такие, что для всех выполняются условия , . Иначе говоря, условия равносильны условиям В этом случае говорят, что уравнение F(x, y)=0 однозначно разрешимо в окрестности W₀ точки ( х ₀ , у ₀ ).

Сформулированная класcич. теорема о Н. ф. обобщается на случай более общих пространств следующим образом. Пусть X - топологич. пространство, Y и Z- аффинные нормированные пространства над полем действительных или комплексных чисел, т. е. аффинные пространства над указанными полями, к-рым сопоставлены соответственно нормированные векторные пространства причем - полное пространство, - множество линейных непрерывных отображений пространства в пространство - открытое множество в произведении пространств и

Пусть - непрерывное отображение в Если при каждом фиксированном хи отображение Fимеет частную Фреше произ водную, причем является непрерывным отображением а линейное отображение имеет непрерывное обратное линейное отооражение (т. е. является обратимым элементом пространства ), то существуют такие открытые соответственно в пространствах Xи Y множества что для любого существует и притом единственный элемент , обозначаемый и удовлетворяющий условиям:

При этом так определенная функция является непрерывным отображением Uв Vи .

Если Xтакже является аффинным нормированным пространством, то при определенных условиях Н. ф. удовлетворяющая уравнению

также дифференцируема. Именно, пусть X, Y, Z- аффинные нормированные пространства, W- открытое множество из и пусть f - неявное отображение, задаваемое уравнением (1) и отображающее нек-рую окрестность Uточки х ₀ в открытое подмножество Vпространства Таким образом, для всех имеет место

Пусть, кроме того, отображение f непрерывно в точке х ₀ и . Тогда если отображение Fдифференцируемо в точке и его частные производные Фреше и являются линейными непрерывными операторами, отображающими соответственно векторные пространства , сопоставленные аффинным пространствам Xи Y, в векторное пространство , сопоставленпое аффинному пространству Z, причем оператор F_y(x₀ , y₀ )является обратимым элементом пространства , то отображение f дифференцируемо в точке х ₀ и его производная Фреше задается формулой

Эта формула получается в результате формального дифференцирования функции (2):

и умножения слева этого равенства на .

Если, кроме того, отображение непрерывно дифференцируемо на W, Н. ф.непрерывна на и для любого частная производная Фреше F_y(x, f(x))является обратимым элементом пространства., то отображение f - непрерывно дифференцируемое отображение Uв V.

Можно указать и в общем случае условия существования и единственности Н. ф. в терминах непрерывности производной Фреше: если пространство Zполно, отображение непрерывно дифференцируемо на и частная производная Фреше F_y(x₀, y₀) является обратимым элементом пространства , то уравнение (1) однозначно разрешимо в достаточно малой окрестности точки ( х ₀, у ₀), т. е. существуют окрестности Uи Vточек х ₀ и у ₀ соответственно в пространствах Xи Y, и единственная Н. ф. удовлетворяющая условиям (2). При этом отображение f непрерывно дифференцируемо на U. В таком виде теорема о Н. ф. для нормированных пространств представляет собой прямое обобщение соответствующей классич. теоремы о Н. ф. для одного скалярного уравнения с двумя переменными.

Если, кроме того, функция непрерывно дифференцируема в окрестности Wточки раз (k=1, 2,...), то Н. ф.также краз непрерывно дифференцируема.

Более далекие обобщения классич. теоремы о Н. ф. на случай дифференциальных операторов даны Дж. Нэшем (J. Nash) (см. Наша теорема).

Лит.:[1] Колмогоров А. Н., Фомин С. В., Элементы теории функции и функционального анализа, 5 изд., М., 1981; [2] Люстерник Л. А., Соболев В. И., Элементы функционального анализа, 2 изд., М., 1905; [3] Никольский С. М., Курс математического анализа, 2 изд., т. 1-2, М., 1975; [4] Шварц Л., Анализ, пер. с франц., т. 1, М., 1972; [5] Ильин В. А., Позняк Э. Г., Основы математического анализа, 3 изд., ч. 1, М., 1971.

Л. Д. Кудрявцев.

implicit function

* * *

lmplicit function

funzione implicita

нея́вна фу́нкція

нея́вна фу́нкція