2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3  След.
 
 
Сообщение15.05.2006, 11:21 
Руст писал(а):
Думаю, что любая такая функция есть отношение двух полиномов с целыми коэффициентами.


кусочно линейные функции не такие.

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

 
 
 
 
Сообщение15.05.2006, 11:57 
Аватара пользователя
er писал(а):
Руст писал(а):
Думаю, что любая такая функция есть отношение двух полиномов с целыми коэффициентами.


кусочно линейные функции не такие.

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


Да ладно Вам, рациональных функций с целыми коэффициентами - счётное множество. Перенумеруйте все такие функции, не являющиеся константами, а также какую-нибудь счётную базу числовой прямой, и стройте себе подобие множества рациональных чисел на себя (отображение, сохраняющее порядок), так, чтобы оно на $n$-ном элементе базы гарантированно отличалось от первых $n$ функций. Подобие множества рациональных чисел продолжается до подобия множества действительных чисел. Усложнив конструкцию, вероятно (почти наверняка), можно добиться и недифференцируемости во всех рациональных точках, но деталей не продумывал, так что подумайте сами.

 
 
 
 
Сообщение15.05.2006, 12:01 
Как я понял, речь идёт о непрерывных функциях, принимающих рациональные значения в рациональных точках?

 
 
 
 
Сообщение15.05.2006, 12:09 
Так как R можно разделить на счётное множество интервалов, то непрерывные функций, являющиеся кусочно рациональными образуют мощность континиум.

 
 
 
 
Сообщение15.05.2006, 12:13 
Аватара пользователя
Руст писал(а):
Как я понял, речь идёт о непрерывных функциях, принимающих рациональные значения в рациональных точках?


О них самых.

Сейчас посмотрел, кажется, там ещё бесконечная дифференцируемость требуется или разложимость в степенной ряд? Виноват, сразу невнимательно посмотрел. Тогда не знаю.

 
 
 
 
Сообщение15.05.2006, 12:20 
Аватара пользователя
Руст писал(а):
Так как R можно разделить на счётное множество интервалов, то непрерывные функций, являющиеся кусочно рациональными образуют мощность континиум.


Я-то как раз предлагал строить функции, которые ни на каком интервале не совпадают с рациональными. Но пропустил условие дифференцируемости (точнее, понял его "наоборот").

 
 
 
 
Сообщение15.05.2006, 16:11 
Someone писал(а):
er писал(а):
Руст писал(а):
Думаю, что любая такая функция есть отношение двух полиномов с целыми коэффициентами.


кусочно линейные функции не такие.

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


Да ладно Вам, рациональных функций с целыми коэффициентами - счётное множество. Перенумеруйте все такие функции, не являющиеся константами, а также какую-нибудь счётную базу числовой прямой, и стройте себе подобие множества рациональных чисел на себя (отображение, сохраняющее порядок), так, чтобы оно на $n$-ном элементе базы гарантированно отличалось от первых $n$ функций. Подобие множества рациональных чисел продолжается до подобия множества действительных чисел. Усложнив конструкцию, вероятно (почти наверняка), можно добиться и недифференцируемости во всех рациональных точках, но деталей не продумывал, так что подумайте сами.


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

(почти наверняка ;)) не верна

 
 
 
 
Сообщение15.05.2006, 16:15 
Someone писал(а):
Руст писал(а):
Так как R можно разделить на счётное множество интервалов, то непрерывные функций, являющиеся кусочно рациональными образуют мощность континиум.


Я-то как раз предлагал строить функции, которые ни на каком интервале не совпадают с рациональными. Но пропустил условие дифференцируемости (точнее, понял его "наоборот").



Насчет этого

er писал(а):
Ограничемся целыми функциями (чтоб с дробно рациональными не возится).

Кроме многочленов (с рациональными коэфицентами) есть ли еще какие-нибуть целые функции, которые в рациональных точках принимают рациональныые значения?


непонятно.

 
 
 
 
Сообщение15.05.2006, 19:51 
Можно искать функцию r(x) в виде интеграла от 0 от функции $\sum_i a_i \delta(x-x_i).$
При этом взяв $x_i,a_i$ рациональными (носители и веса) и ряд $\sum_i |a_i|$ сходящимся так, чтобы и суммы $$\sum_{i,x_i<r} a_i$$ были рациональными при любом рациональном r, получим функцию, отличную от рациональной в любой интервале, если носители всюду плотны. При этом вычисляя интегралы по частям убеждаемся, что k кратные интегралы от нуля (гладкие функции) так же обладают этим свойством. Для того, чтобы убедиться в возможности такого выбора достаточно, рассмотреть носители вида $x_i=\frac{p_k}{2^k},p_k - \ odd$ и несложно выбрать рациональные веса. Таким образом, для к кратно дифференцируемых функций гипотеза о кусочно рациональности таких функций неверна. Для аналитических функций думаю что верна.

 
 
 
 
Сообщение15.05.2006, 20:18 
Руст писал(а):
... и несложно выбрать рациональные веса...

А как их выбрать?

Я бы скорее поверил, что это невозможно..

 
 
 
 
Сообщение15.05.2006, 20:33 
Достаточно выбрать для носителя $x_i=\frac{p_k}{2^k}$ вес $a_i=\frac{1}{2^k}$. Так как любая рациональная точка имеет периодическую 2-адическую запись, то сумма этих весов от нуля будет рациональной.

 
 
 
 
Сообщение15.05.2006, 21:30 
Веса $a_i=\frac{1}{2^{2k}}$.

 
 
 
 
Сообщение18.05.2006, 23:51 
Руст писал(а):
суммы $$\sum_{i,x_i<r} a_i$$ были рациональными при любом рациональном r,


Руст писал(а):
Достаточно выбрать для носителя $x_i=\frac{p_k}{2^k}$ вес $a_i=\frac{1}{2^k}$. Так как любая рациональная точка имеет периодическую 2-адическую запись, то сумма этих весов от нуля будет рациональной.


Руст писал(а):
Веса $a_i=\frac{1}{2^{2k}}$.



Получаем,
$$\sum_{i, x_i<r} a_i= \sum_{i,\frac{p_k}{2^k}<r}\frac{1}{2^{2k}}$$
рационально при рациональном $r$.

а почему так? у меня впечетление, что рациональным редко бывает.
по крайне мере, можно выбрать последовательность $p_k$, так что
$$ \sum_{i,\frac{p_k}{2^k}<0}\frac{1}{2^{2k}}$$
будет не рациональным числом

 
 
 
 
Сообщение19.05.2006, 09:21 
Я предложил взять интеграл от нуля. Соответственно для чётной функции (носители и веса симметричны относительно нуля) функция получится нечётной и достаточно вычислить для положительного рационального числа r сумму:
(1) $$f(r)=[r]f(1)+\sum_{ 0<p_k>0} b_if(\frac{1}{2^{-i}})$ нам достаточно определить рациональные числа $c_i=f(\frac{1}{2^i})$, так чтобы для любой периодической последовательности цифр $b_i$ число $\sum_i b_ic_i$ так же было рациональным. Здесь приняли предположение, что веса в точках r=p/2^k определяются только номером k.
Пусть до периода имеется а членов и период равен T. Тогда f(r) вычисляется по формуле:
(2) $$f(r)=[r]f(1)+\sum_{i\le a}b_ic_i +\sum_{i=1}^T b_{a+i} \sum_{k=0}^{\infty } c_{a+i+kT}.$$
Т.е. для удовлетворения функции нашим условиям, достаточно выбрать последовательность рациональных чисел $c_i$ так, чтобы при любом d,T сумма:
(3) $$\sum_{k=0}^{\infty } c_{d+Tk} $$ было рациональным числом. Все случаи, когда функция является рациональной даются последовательностями, когда $c_k=2^{-nk}l_k$ с периодической последовательностью рациональных чисел $l_k$. Поэтому достаточно взять отличную от этог последовательность удовлетворяющую (3).
Например, если удастся показать, что для некоторой не быстрорастущей рациональной последовательности s(k) при любых d,T сумма:
$$\sum_k \frac{s(d+kT)}{2^{(d+kT)^2}}$$
всегда рационально, то можно построить бесконечно гладкую неаналитическую функцию принимающую рациональные значения в рациональных точках у которого все производные в точках вида p/2^k равны 0.

 
 
 
 
Сообщение19.05.2006, 13:28 
Так как функции имеют скачки в точках $\frac{p_i}{2^k}$, то речь идёт о производных слева и справа.

 
 
 [ Сообщений: 33 ]  На страницу Пред.  1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group