НЕЯВНАЯ ФУНКЦИЯ

НЕЯВНАЯ ФУНКЦИЯ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Можно указать и в общем случае условия существования и единственности Н. ф. в терминах непрерывности производной Фреше: если пространство Zполно, отображение непрерывно дифференцируемо на и частная производная Фреше Fy(x0, y0) является обратимым элементом пространства , то уравнение (1) однозначно разрешимо в достаточно малой окрестности точки ( х 0, у 0), т. е. существуют окрестности Uи Vточек х 0 и у 0 соответственно в пространствах 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.

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "НЕЯВНАЯ ФУНКЦИЯ" в других словарях:

  • НЕЯВНАЯ ФУНКЦИЯ — (implicit function) Соотношение между двумя переменными, которые рассматриваются как симметричные друг к другу. Например, линейная функция у=αх+β может быть перевернута , чтобы представить х как явную функцию от у, тогда х=–β/α+у/α, или она может …   Экономический словарь

  • неявная функция — Функция, представленная таким образом, что в ней отсутствует зависимая переменная. Обычно все переменные располагаются слева от знака равенства, а справа постоянная (обычно нуль). Следовательно, f (X1, Xn) = 0 является неявной функцией переменных …   Справочник технического переводчика

  • НЕЯВНАЯ ФУНКЦИЯ — в алгебраической геометрии функция, задаваемая алгебраич. уравнением. Пусть многочлен от (напр., с комплексными коэффициентами). Тогда многообразие нулей этого многочлена можно рассматривать как график нек рого соответствия Это соответствие н… …   Математическая энциклопедия

  • неявная функция — neišreikštinė funkcija statusas T sritis fizika atitikmenys: angl. implicit function vok. implizite Funktion, f; unentwickelte Funktion, f rus. неявная функция, f pranc. fonction implicite, f …   Fizikos terminų žodynas

  • Неявная функция — Теорема о неявной функции общее название для теорем, гарантирующих локальное существование и описывающих свойства неявной функции, т. е. функции y = f(x),    , заданной уравнением F(x,y) = z0,    и значение фиксированно …   Википедия

  • Математическая формула — Эта статья об обозначениях элементарной математики; Для более общего контекста см.: Математические обозначения. Математическая формула (от лат. formula  уменьшительное от forma  образ, вид)  принятая в математике (а также… …   Википедия

  • Простейшие дифференциальные уравнения первого порядка — Простейшие дифференциальные уравнения первого порядка  класс дифференциальных уравнений первого порядка, наиболее легко поддающихся решению и исследованию. К нему относятся уравнения в полных дифференциалах, уравнения с разделяющимися… …   Википедия

  • Интегрирующий множитель — Простейшие дифференциальные уравнения первого порядка  класс дифференциальных уравнений первого порядка, наиболее легко поддающихся решению и исследованию. К нему относятся уравнения в полных дифференциалах, уравнения с разделяющимися переменными …   Википедия

  • Модель Шапиро — Модель Шапиро  Стиглица (англ. Shapiro Stiglitz model)  экономическая модель, относящаяся к рынку труда, объясняющая завышение заработной платы. Отличительная особенность модели  включение дополнительной переменной … …   Википедия

  • fonction implicite — neišreikštinė funkcija statusas T sritis fizika atitikmenys: angl. implicit function vok. implizite Funktion, f; unentwickelte Funktion, f rus. неявная функция, f pranc. fonction implicite, f …   Fizikos terminų žodynas


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»