2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки



Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2, 3, 4  След.
 
 Доказать, что функция постоянна
Сообщение16.10.2016, 14:33 


18/11/12
75
Задачка с вступительных в ШАД 2016:

Пусть $f: R^2 \to R$ - ограниченная гладкая функция, причем ее среднее значение на каждой окружности радиуса $1$ равно значению в центре этой окружности. Докажите, что $f$ постоянна.

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

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение16.10.2016, 15:00 
Заслуженный участник
Аватара пользователя


15/10/08
7392
Sul в сообщении #1160255 писал(а):
похоже на гармоническую функцию, но вряд ли удастся это доказать

Вы всё-таки попробуйте.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение16.10.2016, 15:04 
Заслуженный участник


25/02/11
1484
Sul в сообщении #1160255 писал(а):
Так же, если бы достигался глобальный минимум, то можно было бы сказать, что на окружности вокруг этого минимума есть значение меньше, чем в центре. Но он может и не достигаться.

В этом случае поможет инверсия: переводит бесконечность в ноль.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение16.10.2016, 17:49 


18/11/12
75
Утундрий в сообщении #1160262 писал(а):
Sul в сообщении #1160255 писал(а):
похоже на гармоническую функцию, но вряд ли удастся это доказать

Вы всё-таки попробуйте.


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

-- 16.10.2016, 18:19 --

Кстати, частные производные функции тоже удовлетворяют этому свойству среднего по окружности, как я понял. Но как-то это не помогает.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение17.10.2016, 01:59 


18/11/12
75
Если кто-то знает, как решать - подскажите в каком направлении мыслить, а то я в тупике

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение17.10.2016, 10:04 
Заслуженный участник


25/02/11
1484
Дубль два: инверсия.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение17.10.2016, 18:27 


18/11/12
75
Vince Diesel в сообщении #1160454 писал(а):
Дубль два: инверсия.


А можно чуть поточнее? Что именно предлагаете сделать?

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 00:02 
Заслуженный участник
Аватара пользователя


01/03/06
12814
Москва
Поскольку функция ограничена, то у множества ее значений есть точная нижняя грань. Если эта точная нижняя грань достигается в некоторой точке, то вы знаете, как рассуждать. Остается рассмотреть случай, когда эта грань не достигается, и тогда есть бесконечно большая последовательность аргументов, такая, что множество значений на этих аргументах сходится к рассматриваемой грани. Вот тут-то и сгодится инверсия.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 15:43 
Заслуженный участник
Аватара пользователя


08/11/11
4303
Присоединяюсь к клубу ничего не понявших про инверсию.

Заодно посоветую вместо этого сделать преобразование Фурье.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 15:57 
Заслуженный участник


23/07/08
7031
Харьков
Отлично, теперь у нас два клуба.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 16:12 
Заслуженный участник
Аватара пользователя


01/03/06
12814
Москва
g______d в сообщении #1160825 писал(а):
Заодно посоветую вместо этого сделать преобразование Фурье.

Вступаю в клуб ничего не понявших про преобразование Фурье.
Например, классическое преобразование Фурье гарантированно применимо только к $L^1$, а в условии оговаривается лишь ограниченность функции. Или речь идет о преобразовании Фурье распределений? :shock:

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 16:18 
Заслуженный участник
Аватара пользователя


08/11/11
4303
Brukvalub в сообщении #1160834 писал(а):
Или речь идет о преобразовании Фурье распределений?


Да.

Ну т. е. надо посмотреть на оператор, который вычисляет среднее значение на окружности вокруг данной точки и вычитает значение функции в центре. В Фурье-представлении получится оператор умножения. Какие распределения в его ядре -- понятно.

-- Вт, 18 окт 2016 06:18:43 --

Brukvalub в сообщении #1160834 писал(а):
лишь ограниченность


и гладкость

-- Вт, 18 окт 2016 06:18:58 --

А про инверсию всё равно не понял.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 16:20 
Заслуженный участник


25/02/11
1484
Пусть последовательность точек плоскости $u_n\to\infty$ и $m=\inf_{\mathbb R^2}f=\lim_{n\to\infty}f(u_n)$. Обозначим через $v_n$ образы $u_n$ при инверсии относительно окружности $C$ единичного радиуса с центром в нуле. Пусть $C_n\to C$ $-$ последовательность окружностей единичного радиуса, которые после инверсии имеют центр $v_n$. Тогда, по непрерывности, среднее значений по $C_n$ имеет предел, равный среднему по $C$, т.е. $f(0)$, а с другой стороны, предел равен $m$. Таким образом, инфинум достигается в начале координат.

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 16:34 
Заслуженный участник
Аватара пользователя


08/11/11
4303
Vince Diesel в сообщении #1160839 писал(а):
а с другой стороны, предел равен $m$.


Мне даже стыдно признаваться, но не понимаю. Среднее значение по $C_n$ равно $f(v_n)$. Каким образом оно связано с $f(u_n)$?

 Профиль  
                  
 
 Re: Доказать, что функция постоянна
Сообщение18.10.2016, 16:48 
Заслуженный участник


25/02/11
1484
Берутся единичные окружности, близкие к единичной с центром в нуле, у которых центр после инверсии равен $v_n$.

Рассмотрим единичную окружность с центром в $(x,0)$, $|x|<1$. После инверсии это будет окружность с центром, также близким к нулю. Можно и точно посчитать, будет $(x/(x^2-1),0)$. Пусть теперь $v_n$ лежит на действительной оси. Подберем теперь $x$ так, чтобы $v_n=(x/(x^2-1),0)$.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 54 ]  На страницу 1, 2, 3, 4  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group