СОПРЯЖЕННАЯ ФУНКЦИЯ

Понятие теории функций, являющееся конкретным отражением нек-рого инволютивного оператора для соответствующего класса функций.
1) С. ф. к комплекснозначной функции . наз. функцию значения к-рой являются комплексно сопряженными к значениям f.
2) С. ф. к гармонической функции - см. Сопряженные гармонические функции .
3) С. ф. к -периодической суммируемой на функции f(x)наз. функцию

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

Для функции, заданной на Y, сопряженная функция определяется аналогично.

С. ф. к функции одного переменного будет функция

С. ф. к функции в гильбертовом пространстве Xсо скалярным произведением будет функция С. ф. к норме в нормированном пространстве будет функция N* (y), равная нулю, если и равная если
Если f - гладкая растущая на бесконечности быстрее линейной функция, то f* - не что иное, как Лежандра функции f. Для одномерных строго выпуклых функций определение, равносильное (*), было дано У. Юнгом , в других терминах. У. Юнг определял С. ф. к функции

где непрерывна и строго возрастает, соотношением

где - функция, обратная к Определение (*) для одномерных функций было впервые предложено С. Мандельбройтом (S. Mandelbrojt), в конечномерном случае - В. Фенхелем , в бесконечномерном - Ж. Моро и А. Брёнстедом . Для выпуклой функции н сопряженной с ней выполнено Юнга

С. ф.- выпуклая замкнутая функция. Оператор сопряжения*: однозначно отображает совокупность собственных выпуклых замкнутых функций на Xна совокупность собственных выпуклых замкнутых функций на Y ( Фенхеля - Моро).
Подробнее см. и .
См. также Выпуклый анализ, Опорная функция, Двойственность в экстремальных задачах и выпуклом анализе.

Лит. : Joung W. H., лProc. Roy. Soc. A

Математическая энциклопедия. - М.: Советская энциклопедия . И. М. Виноградов . 1977-1985 .

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

Опорный функционал, множества А, лежащего в векторном пространстве X, функция sA, задаваемая в находящемся с ним в двойственности векторном пространстве Y соотношением Напр., О. ф. единичного тара в нормированном пространстве, рассматриваемом в… … Математическая энциклопедия

Функция, связанная с интегральным представлением решений краевых задач для дифференциальных уравнений. Г. ф. краевой задачи для линейного дифференциального уравнения фундаментальное решение уравнения, удовлетворяющее однородным краевым условиям.… … Математическая энциклопедия

Антианалитическая функция, функция одного или нескольких комплексных переменных комплексно сопряженная к голоморфной функции (см. Аналитическая функция). Е. Д. Соломенцев … Математическая энциклопедия

Управление, функция и(t), входящая в дифференциальное уравнение значения к рой в каждый момент времени могут выбираться произвольным образом. Обычно на область изменения u(t)при каждом tналагается ограничение где U заданное замкнутое множество в… … Математическая энциклопедия

Непрерывное отображение, сохраняющее форму бесконечно малых фигур. Основные понятия. Непрерывное отображение w=f(z)области G n мерного евклидова пространства в n мерное евклидово пространство наз. конформным в точке если оно в этой точке обладает … Математическая энциклопедия

1) Преобразование математич. анализа, осуществляющее двойственность между объектами в дуальных пространствах (наряду с проективной двойственностью в аналитич. еометрии и полярной двойственностью в выпуклой геометрии). Пусть гладкая функция,… … Математическая энциклопедия

1) П. т. о сопряженных функциях: пусть периодическая непрерывная функция с периодом 2p и тригонометрически сопряженная функция с f(t); тогда если f(t).удовлетворяет условию Липшица о показателем при 0Математическая энциклопедия

- (mod k) функция c(п)=c(п; k)на множестве целых чисел, удовлетворяющая условиям: Иными словами, Д. х. (mod k) это арифметич. функции, к рые не равны тождественно нулю, вполне мультипликативны и периодичны с периодом k. Понятие Д. х. ввел П.… … Математическая энциклопедия

Одно из обобщений интеграла Лебега, предложенных А. Данжуа (A. Denjoy, 1919), подробно изученное Т. Дж. Боксом (Т. J. Boks, 1921). Действительная функция f(x).на отрезке [ а, Ь]периодически (с периодом b a) продолжается на всю прямую. Для… … Математическая энциклопедия

Двойной интеграл где заданная (вообще говоря, комплексно значная) функция действительных переменных, интегрируемая с квадратом, произвольные (тоже комплекснозначные) функции, интегрируемые с квадратом, а комплексно сопряженная функция с. Если,… … Математическая энциклопедия

Сопряженные функции. Субдифференциалы. Принцип минимакса. Задачи о проективной двойственности Срок сдачи 18 апреля 2014 г. (1) Найти сопряженные к функциям p (a) |x|p , p ≥ 1 (b) ex−1 (c) max{|x|, x2 } (d) f (x) = 12 hQx, xi + hb, xi + c, Q - симметричная положительная d × d матрица, b, x ∈ Rd , c ∈ R (e) f (x) = ln(1 + ex1 + · · · + exd) (f) max{x 1 , · · · , xn } √ (g) 1 + x2 (h) δA , где A - множество в Rd и δA (x) = 0, если x ∈ A, δA (x) = +∞, если x∈ /A (i) hA , где A - множество в Rd и hA (y) = sup{hx, yi, x ∈ A}. (2) Докажите неравенство p p hx, yi ≤ 1 + |x|2 − 1 − |y|2 , (3) (4) (5) (6) x, y ∈ Rd , |y| ≤ 1. Когда достигается точное равенство? Как устроена функция, сопряженная к функции, график которой - выпуклый многогранник? Рассмотрим множество отрезков длины 1 на R+ ×R+ с концами на координатных прямых. Докажите, что астроида является огибающей для этого множества. Какая функция является сопряженной к функции, графиком которой является астроида? Пусть f - функция, не являющаяся выпуклой. Опишите ее вторую сопряженную. Пусть f, f ∗ - гладкие выпуклые функции, причем в каждой точке матрицы вторых производных (гессианы) D2 f, D2 f ∗ невырождены. Докажите, что для любого x выполнено соотношение D2 f (x) · D2 f ∗ (∇f (x)) = I, где I - единичная матрица. (7) Найдите общее решение следующего дифференциального уравнения f 00 = (f − xf 0)2 . (8) Вычислить субдифференциал выпуклой функций в нуле (a) max{ex , 1 − x} P (b) di=1 |xi | (c) max1≤i≤d |xi | (9) Докажите, что x0 - точка минимума выпуклой функции f тогда и только тогда, когда 0 ∈ ∂f (x0). (10) Найти минимум функций (a) x2 + y 2 + 4p max(x, y) (b) x2 + y 2 + 2 (x − a)2 + (y − b)2 (11) Докажите соотношение (f ⊕ g)∗ = f ∗ + g ∗ , 1 где f ⊕ g(x) = inf a+b=x (f (a) + g(b)). (12) Докажите (не используя принцип минимакса), что максимум в задаче линейного программирования не превосходит минимума в двойственной. (13) Сформулируйте двойственную к задаче линейного программирования и решите ее. x1 + 2x2 + · · · + nxn → min x1 ≥ 1, x1 + x2 ≥ 2, · · · , x1 + x2 + · · · + xn ≥ n xi ≥ 0, 1 ≤ i ≤ n. Задачи о проективной двойственности Определение. Двойственной проективной плоскостью RP2∗ называется пространство прямых на проективной плоскости RP2 . 14) Докажите, что двойственная проективная плоскость имеет естественную структуру проективной плоскости, в которой прямая – это семейство прямых в RP2 , проходящих через данную точку. (В частности, многообразия RP2 и RP2∗ диффеоморфны.) 15) Рассмотрим произвольные две различные прямые a, b ⊂ RP2 , обозначим O = a ∩ b, a = a \ O, b = b \ O. На каждой прямой имеется естественная вещественная аффинная координата, определенная однозначно с точностью до композиции с аффинным преобразованием: a, b " R. Для любых x ∈ a и y ∈ b пусть l(x, y) – прямая, проходящая через x и y. Докажите, что отображение a × b → RP2∗ , (x, y) 7→ l(x, y) является аффинной картой. Определение. Пусть γ ⊂ RP2 – гладкая кривая. Двойственной кривой к γ называется кривая γ ∗ ⊂ RP2∗ , являющаяся семейством касательных прямых к γ. 16) Докажите, что γ ∗∗ = γ. 17) Пусть f (x) – гладкая строго выпуклая функция, a f ∗ (x∗) – сопряженная к ней. Рассмотрим их графики Γ(f) и Γ(f ∗) в соответствующих аффинных плоскостях (x, y) и (x∗ , y ∗) (точнее, конечные части графиков, где значения функций конечны). Докажите, что кривая Γ(f ∗) переводится аффинным преобразованием в кривую, двойственную к Γ(f). Указание: использовать результат задачи 2). 18) Докажите, что кривая, двойственная гладкой конике (кривой второго порядка, не сводящейся к паре прямых), также является гладкой коникой. 19) Дайте определение двойственной ломаной (двойственного многоугольника) и решите аналоги задач 3) и 4) для ломаной γ и кусочно-аффинной функции f (график – ломаная). 2

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

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

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

Предположим, например, что в интересующей нас задаче границы проводника представляют собой две неконцентричные и непересекающиеся окружности, или две пересекающиеся окружности, или же, наконец, две окружности одного типа и одну или две другого тина, пересекающиеся ортогонально. При помощи соотношении (4.64) любую из этих областей можно преобразовать в прямоугольную:

Мы употребляем здесь вместо чтобы подчеркнуть чисто геометрический характер этого преобразовании. Из уравнений (4.67) и (4.68) следует, что когда х и у принимают значения - меняются в пределах Таким образом, функция (4.76) преобразует горизонтальную полоску шириной плоскости во всю плоскость z. Вертикальные линии внутри этой полоски превращаются, согласно уравнению (4.67), в окружвости, описываемые уравнением

а горизонтальные линии превращаются в окружности, проходящие через точки и описываемые уравнением (4.68)

Это преобразование можно представить себе, вообразив бесконечную горизонтальную полоску упругой мембраны шириной вращаемую в направлении против часовой стрелки вплоть до достижения ею вертикального положения в плоскости z. При этом точки превращаются соответственно в линии Сожмем теперь эту полоску около точек и начнем сближать точки перемещая их вдоль оси у, при этом центральная часть полоски будет растягиваться в горизонтальном направлении. Линии и подобно вееру развертываются соответственно около точек до тех пор, пока С А не совпадет с . В результате мембрана оказывается растянутой на всю плоскость z, а ее бесконечно малые дуги и становятся бесконечно удаленными дугами, разделяемыми осью х на две равные части.

1 1 4 П Р И Л О Ж Е Н И Е Б: Т Е О Р Е Т И Ч Е С К И Е О С Н О В Ы Н О В О Й К О Н Ц Е П Ц И И

Принцип сопряженных подсистем

С выделением любой материальной системы автоматически появляется соответствующая среда, в которой существует эта система. Поскольку среда всегда больше системы, то эволюция системы диктуется изменениями среды. Идея эволюции подразумевает два главных и, в известном смысле, альтернативных аспекта: сохранения (С) иизменения (И) . Если одно из них отсутствует, то нет эволюции: система либо исчезает, либо стабильна. Отношениеизменения исохранения (И / С ) характеризует эволюционную пластичность системы. Отметим, что эти условия альтернативны: чем большеИ , тем меньшеС и, наоборот, так как они дополняют друг друга до единицы:С + И = 1 .

Для лучшей реализации только первого аспекта-сохранения-системе выгоднее быть устойчивой, стабильной, неизменяемой, то есть быть по возможности “дальше” (не в геометрическом смысле, а в информационном) от разрушающих факторов среды (Рис. Б.1 ). Однако эти же факторы одновременно несут полезную информацию о направлении изменений среды. И если системе необходимо приспособиться к ним, измениться согласно изменениям среды (второй аспект), то она должна быть чувствительной, лабильной и изменчивой, то есть быть по возможности “ближе” (в информационном смысле) к вредным факторам среды. Следовательно, имеет место конфликтная ситуация, когда системе с одной стороны надо быть “подальше” от среды, а с другой-“поближе”.

Среда Проблема

Чтобы измениться (получить полезную информацию) надо быть “ближе”

Возможные решения

Быть на “оптимальном расстоянии”

Разделиться на две сопряженные подсистемы

Рис. Б.1 Взаимоотношение системы со средой

Первое возможное решение: системе целиком быть на некотором оптимальном “расстоянии” от среды, выбирая некий компромиссный оптимум И / C. Второе решение: разделиться на две сопряженные подсистемы, одну убрать “подальше” от среды, а другую выдвинуть “поближе”. Второе решение снимает конфликтные требования ксохранению (С) иизменению (И) системы, и позволяет максимизировать одновременно и то и другое, повышая устойчивость системы в целом. Этот вывод лежит в основе новой концепции.

П Р И Л О Ж Е Н И Е Б: Т Е О Р Е Т И Ч Е С К И Е О С Н О В Ы Н О В О Й К О Н Ц Е П Ц И И 1 1 5

ПРИНЦИП СОПРЯЖЕННЫХ ПОДСИСТЕМ

ДИФФЕРЕНЦИАЦИЯ АДАПТИВНЫХ СИСТЕМ, ЭВОЛЮЦИОНИРУЮЩИХ В ИЗМЕНЧИВОЙ СРЕДЕ, НА ДВЕ СОПРЯЖЕННЫЕ ПОДСИСТЕМЫ С КОНСЕРВАТИВНОЙ И ОПЕРАТИВНОЙ СПЕЦИАЛИЗАЦИЕЙ, ПОВЫШАЕТ ИХ УСТОЙЧИВОСТЬ.

Выделение внутренних и внешних подсистем необходимо понимать не в геометрическом (морфологическом) смысле, а в информационном, то есть потоки информации от среды о происшедших изменениях в ней попадают сначала во внешние подсистемы (“оперативную память”), а потом уже во внутренние (“постоянная память” системы).

В таком общем виде концепция справедлива для эволюционирующих, адаптивных систем независимо от их конкретной природы-биологических, технических, игровых или социальных. Можно ожидать, что среди эволюционирующих, адаптивных систем, структуры, состоящие из двух сопряженных подсистем, должны встречаться довольно часто. Во всех случаях когда система вынуждена следить за “поведением противника” (среды) и в соответствии с этим строить свое “поведение”, дифференциация, разделение служб на консервативную и оперативную повышает устойчивость. Армия выделяет разведывательные отряды и посылает их в разные стороны навстречу противнику. Корабль имеет киль (консервативная служба) и отдельно руль (оперативная), самолет-постоянные плоскости и элероны; ракета-стабилизаторы и рули.

Общие черты бинарно-сопряженных дифференциаций

До появления сопряженных подсистем главный управляющий эволюцией поток информации шел непосредственно от среды к системе: E →S . После появления оперативных подсистем они первыми получают информацию от среды: среда → оперативная → консервативная подсистемы,E →o →k . Поэтомуновая подсистема всегда является оперативной и

возникает между консервативной подсистемой и средой.

Принципиальная разница между унитарными и бинарно-сопряженными системами в форме их информационного контакта со средой. У первых информация попадает от среды непосредственно к каждому элементу системы, а у вторых она попадает сначала к элементам оперативной подсистемы и от них к элементам консервативной подсистемы.

Дихронизм (асинхрония) и диморфизм (асимметрия) тесно связаны между собой: когда система одинаковых элементов делится на две части, пока они качественно однородны, нет ни диморфизма, ни дихронизма (Рис. Б.2 ). Но как только одна из них начинает эволюционировать, одновременно возникает и диморфизм и дихронизм. По морфологической оси это две формы, образующие структуру “стабильное ядро” (КП) и “лабильная оболочка” (ОП) (Рис. Б.3 ). Такая структура защищает консервативную подсистему от альтернативных факторов среды, например от низких и высоких температур.

1 1 6 П Р И Л О Ж Е Н И Е Б: Т Е О Р Е Т И Ч Е С К И Е О С Н О В Ы Н О В О Й К О Н Ц Е П Ц И И

Все эволюционные новации появляются сначала в оперативной подсистеме, проходят там проверку, после чего (спустя много поколений), отобранные попадают в консервативную подсистему. Эволюция оперативной подсистемы начинается и кончается раньше, чем консервативной. Поэтому по хронологической оси их можно рассматривать как “авангард” и

“арьергард” (Рис. Б.4 ).

По оси “система-среда” система разделяется на “стабильное ядро” и “лабильную оболочку”

По оси времени оперативную подсистему можно рассматривать как “авангард” по сравнению с консервативной.

Поток информации

Фронт среды

Консервативная Оперативная

Консервативная Оперативная

Поток информации

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

пробовать различные варианты решения эволюционных задач без риска закрепления неудачных решений.

Дифференциация на консервативные и оперативные подсистемы-не абсолютна, а относительна. Могут быть последовательные ряды подсистем: α, β, γ,…..ω, где самое консервативное (фундаментальное) звено- α, а самое оперативное- ω. А внутри ряда, в каждой паре, слева-консервативная, справа-оперативная подсистема (как ряд напряжений металлов в электрохимии).

Чтобы новая экологическая информация попадала в оперативную подсистему, фенотипическая дисперсия её элементов должна быть шире, чем элементов консервативной подсистемы, тогда их приспособленность будет ниже, а коэффициент отбора выше, чем последних. Для этого, у них должна быть ỳже норма реакции. Поскольку сохранение системы часто важнее, чем изменение (так как отсутствие последнего грозит застоем, а первого-исчезновением), то дочерние подсистемы неравнозначны. Консервативная подсистема важнее и ценнее чем оперативная. Она сохраняет за собой некоторые черты и функции материнской, унитарной системы, тогда как оперативная подсистема, приобретает новые. Поэтому для понимания эволюционного смысла бинарных дифференциаций достаточно понять лишь смысл оперативных подсистем.

П Р И Л О Ж Е Н И Е Б: Т Е О Р Е Т И Ч Е С К И Е О С Н О В Ы Н О В О Й К О Н Ц Е П Ц И И 1 1 7

ЧТОБЫ НОВАЯ ЭКОЛОГИЧЕСКАЯ ИНФОРМАЦИЯ ПОПАДАЛА В ОПЕРАТИВНУЮ ПОДСИСТЕМУ, ФЕНОТИПИЧЕСКАЯ ДИСПЕРСИЯ

ЕЁ ЭЛЕМЕНТОВ ДОЛЖНА БЫТЬ ШИРЕ, А НОРМА РЕАКЦИИ УЖЕ, ЧЕМ ЭЛЕМЕНТОВ КОНСЕРВАТИВНОЙ ПОДСИСТЕМЫ.

Для эффективной передачи информации между подсистемами (ОП КП ), элементы оперативной подсистемы также должны иметь более широкое “сечение канала” связи, чем элементы консервативной.

Асинхронная эволюция подсистем

Эволюцию системы (S) определяет среда (Е), ЕS. Поток информации, идущий от среды, выступает как некий экологический потенциал, заставляющий систему меняться. Рост дисперсии элементов унитарных систем, рано или поздно, автоматически приводит к их дифференциации на консервативную и оперативную подсистемы. Если сравнить экологический потенциал с электрическим, а унитарную систему с лампочкой, то бинарная система это две лампочки, которые могут быть подключены к источнику тока параллельно или последовательно (Рис. Б.5 ). Это принципиально новая возможность, которой не было у унитарных систем.

Рис. Б.5 Синхронная эволюция унитарных систем (УС) и бинарных несопряженных (БНС)

Аналог параллельной схемы. Асинхронная эволюция бинарных сопряженных дифференциаций (БСД)-аналог последовательной схемы. Фигурные стрелки- направление эволюции, простые-поток электронов и информации (Геодакян, 2005).

Три схемы-модели трех главных способов размножения и асимметрии. Схема одной лампочки-аналог бесполого способа, параллельная-гермафродитного, а последовательная схема-раздельнополого (и асимметричного мозга).