Задача: Найти функцию для графика (бесконечного в обе стороны оси ОХ):
image
Ограничения: Должны использоваться только тригонометрические функции (любые прямые и обратные) и знаки операций плюс, минус, разделить, умножить, модуль. Решение должно быть представлено одной формулой.

Подсказка: Раздумывая над этой задачей, мне попалось на глаза видео о так называемой квантовой запутанности фотонов. Я подумал, что фотон все же в большей мере волна, чем частица, поскольку частицей он определяется при определенных условиях, связанных с измерением состояния фотона, в остальных случаях — это волна. А где волна там обязательно должны быть тригонометрические функции косинуса и синуса, как минимум. Поэтому я подумал, что скорей всего вполне возможно, что есть вероятность создать «запутанную пару» от аргумента x для какой-то неизвестной функции с использованием только тригонометрических функций. Как ни странно, но именно поиск этой неизвестной функции, привел меня к решению поставленной выше задачи.

Решение задачи о поиске функции для квадратичного косинуса
Некоторые люди на форуме говорили мне, что решения этой задачи не может существовать, поскольку квадратное и круглое друг другом не представляется (как я это понял), но немного поэкспериментировав с построением графиков на WolframAlpha, решил, что это в корне неправильный подход. Как потом выяснилось, все дело как раз в «квантовой запутанности». Но обо всём по порядку.

Как смоделировать запутанность? У нас есть прямые и обратные тригонометрические функции, есть переменная x-фотон и несколько тривиальных операций. Первое что приходит на ум (по крайне мере мне) это рассмотреть графики функций ArcSin[Cos[x]] и ArcCos[Sin[x]]:
image
image
Приведенные графики уже очень напоминают нужный нам «квадратичный косинус», но чего-то не хватает, оказывается не хватает «запутанности», то что мы сделали — это по сути запутанность первого уровня, но этого не достаточно, нужно эти две функции как-то скомпоновать, выйдя на запутанность второго уровня. После нескольких экспериментов с доступными тривиальными операциями я остановился на делении и вот что получилось (рис. 4):

image

Именно здесь я понял, что не потерялся в запутанности x-фотона и все как раз проясняется.
Казалось бы, наполовину задача решена и остается тупо скопировать решение в две формулы вида:

image

Но мне хотелось всё представить одно формулой и поиски продолжились…

Поэтому пришлось анализировать график, представленный на рис.4. Что в нем примечательного?
Во-первых, наполовину квадратичность присутствует, но нужно избавиться от этих восходящих линий. Как этого добиться? Только «аннигиляцией», то есть самоуничтожением противоположностей. И как раз здесь нам и понадобится модуль, чтобы у нас были симметричные плавно восходящие и нисходящии линии. Поэтому я рассмотрел такой график:

image

Казалось бы, маленькое отличие — модуль, но большая разница — теперь мы имеем симметричные (относительно начала координат) восходящие и нисходящии линии, которые достаточно «сложить» и они превратятся в квадрат… Но складывать их не нужно, достаточно еще одного модуля уровнем выше:

image

Что и требовалось доказать.

Эту функцию
y=ArcSin[Cos[x]]/ArcCos[Abs[Sin[x]]]
я назвал "белая функция", поскольку она настолько же идеальна и гармонична, как и белый цвет. Белая функция представляет собой сложную функцию-модель квантово-запутанной саму с собой пару от аргумента x. Белая функция к тому же определяет собой целый класс одноименных тригонометрических функций вида
y=ArcSin[f1[x]]/ArcCos[Abs[f2[x]]]
, например, к этому виду можно также отнести функцию
y=ArcSin[1/Tan[x]]/ArcCos[Abs[Tan[x]]]
и т.д.

Исходники в формате Wolfram Mathematica — yadi.sk/d/3pl0lZMH3PzxCU

Оценка погрешности найденного решения
Для оценки точности я решил посчитать для белой функции площадь под графиком в окрестности точки Pi/2 с отрицательной стороны. И вот что получилось:

Evaluate[Integrate[
  ArcSin[Cos[x]]/ArcCos[Abs[Sin[x]]], {x, 
   N[Pi, 100]/2 - 0.000000000000000000001`100, N[Pi, 100]/2}]]

image
Здесь я думаю меня сочтут полным профаном, но я всё таки скажу, что это означает.
Очевидно по результату в пределе действительная часть стремится к бесконечность, а мнимая к нулю то есть ?+0.0*i
Что это может означать? Какой смысл в действительной части и мнимой? Я думаю, что действительная часть пропорциональна точности
(в чем легко убедиться увеличивая количество нулей в формуле выше для приближения к точке Pi/2), а мнимая часть пропорциональна погрешности вычисления и эта погрешность стремиться к нулю в пределе.

Посему заключаем, что найденная формула белой функции делает возможным расчет с управляемой точностью, что не может не радовать. Но как такое возможно? Ответа у меня нет — думайте своей головой.

Проблема в комментариях рассматривается достаточно подробно, но особое место в вопросе белой функции занимает точка Pi/2, фольфрамальфа рисует это так:
image
Но нужно понимать, что это приближение, идеально в пределе там вертикальная линия и разрыва нет:
image
дорисовано красным то, что компьютер не может рассчитать!
Интересно, что в точках состыковки синего и красного y=+-Sqrt[2]/2

Другие способы решения
Abs[Cos[x]]/Cos[x]

с помощью ряда Фурье

Очевидно, эти способы не идут не в какое сравнение с найденным решением по точности и производительности, нет необходимости в сложении сотен косинусов, как это делает ряд Фурье.

Разное

Моделирование форм с помощью найденной функции


Тривиальный пример, куб:

a[x_] := ArcSin[Cos[x]]/ArcCos[Abs[Sin[x]]]; (*белая функция*)
b[y_] := ArcSin[Cos[y]]/ArcCos[Abs[Sin[y]]]; (*белая функция*)
c[z_] := ArcSin[Cos[z]]/ArcCos[Abs[Sin[z]]]; (*белая функция*)
f[x_, y_] := a[x]*b[y];
time[t_] := c[t];
z = Table[
   Plot3D[10*move*(1 + f[x, y]*time[move]), {x, -3*Pi/2, 
     3*Pi/2}, {y, -3*Pi/2, 3*Pi/2}, 
    PlotRange -> {-50, 50}], {move, -Pi/2 + 0.1, Pi/2 - 0.1, Pi/100}];
z = Join[z, Reverse[z]];
Export["C:\\out.gif", z, 
 "AnimationRepetitions" -> Infinity]

out.gif

Комментарии (89)


  1. Dr_Dash
    26.11.2017 17:14

    abs(cos(i))/cos(i + 2*3.14), неопределённость в точках 0 соответствует cos(pi)/cos(pi) = 1


    1. Dr_Dash
      26.11.2017 17:37

      sorry
      abs(cos(i))/cos(i +3.14), cos(pi/2)/cos(pi/2) = 1


  1. Janycz
    26.11.2017 17:41
    +1

    Можно проще: Abs[Cos[x]]/Cos[x]


    1. xayam Автор
      26.11.2017 17:48

      нет, так нельзя. Вот смотри
      Abs[Cos[x]]/Cos[x]
      — нет вертикальных линий;
      Plot[ArcSin[Cos[x]]/ArcCos[Abs[Sin[x]]]]
      — есть вертикальные линии, причем с больше точностью, чем ряд Фурье —
      Plot[Sum[(-1)^(n+1)*4*Cos[(2*n-1)*x)]/Pi/(2*n-1),{n,1,50}]] и не нужно суммировать сотни косинусов.


      1. koldyr
        26.11.2017 17:56
        +1

        Сформулируйте задачу строго. А то графики, вертикальные линии. Баловство это.


      1. Zenitchik
        26.11.2017 18:10

        График ФУНКЦИИ не может содержать вертикальные линии. Если вертикальные линии тоже являются решениями УРАВНЕНИЯ — так и надо писать.


        1. xayam Автор
          26.11.2017 18:51
          -4

          График ФУНКЦИИ не может содержать вертикальные линии

          почему же? с управляемой точностью вполне возможно. Другое дело строгой вертикальности не будет, но заметьте что указанная функция в точке Pi/2 имеет два разных предела с положительной и отрицательной стороны, равных -1 и 1, что как бы намекает на вертикальность в промежутке. Это своеобразный туннельный эффект в математическом исполнении — что более менее можно увидеть здесь в приближении


          1. koldyr
            26.11.2017 19:04
            +2

            Как бы что делает? По ходу можно расходиться. Конструктивного диалога не будет.


            1. xayam Автор
              26.11.2017 19:14
              -1

              Это больше философский вопрос, чем математический. Вам с детства вбивали в голову, что возможно, а что не возможно — бесконечное понять невозможно, конечное пожалуйста.


              1. koldyr
                26.11.2017 19:22

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


                1. Dr_Dash
                  26.11.2017 19:34

                  философы выше этого


    1. Akon32
      27.11.2017 15:52

      Нельзя. cos(x) может быть равен 0. Значение 0/0 не определено.


      1. xayam Автор
        27.11.2017 19:52

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


        1. koldyr
          27.11.2017 20:10

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


          1. xayam Автор
            27.11.2017 22:35

            И, по крайней мере на ваши вопросы, ответы найдены.

            хорошо, скажите мне, как называется «не-функция», график, которой имеет вертикальную линию?


            1. Zenitchik
              27.11.2017 22:38

              Уравнение.


              1. xayam Автор
                27.11.2017 22:41

                Уравнение.

                чем и почему определение «уравнение» и определение «функция» отличаются друг от друга и чем они похожи? желательно на примере…


                1. Zenitchik
                  27.11.2017 23:46

                  Функция заданная выражением — частный случай уравнения многих переменных (в простом случае — двух).
                  Уравнение описывает связь между переменными.
                  Функция — это такая зависимость между переменными, при которой каждому x соответствует единственное значение y.

                  Зачем введена такая терминология? Затем, чтобы люди правильно друг друга понимали, когда говорят о функциях, уравнениях и других математических сущностях.


                  1. xayam Автор
                    28.11.2017 00:37

                    пусть будет уравнение если Вам так удобно.
                    Мои аргументы читайте ниже — где мы общаемся с koldyr


                    1. Zenitchik
                      28.11.2017 01:42

                      У уравнения могли бы быть и по-настоящему вертикальные линии.


            1. Sdima1357
              27.11.2017 23:29

              To Xayam
              «Вертикальную линию»
              Пожалуйста:
              1 Параметрическая функция, где и x и y — зависят от t например.
              2 многозначная функция, где одному х соответствует некое множество значений y
              Ps: не изобретайте велосипед, вам же ответили -Ваша функция это меандр самый эффективный способ генерации вот здесь habrahabr.ru/post/343228/#comment_10538856


              1. xayam Автор
                27.11.2017 23:33

                ладно, у меня есть последний убойный аргумент. Не увидит эффекта только слепой. Я придумал как увидеть вертикаль. Нужно изменить просто угол обзора, я преобразовал функцию и увидел прямую (вертикаль под другим углом обзора), вот что получилось, по сути на картинке тот же самый эффект — goo.gl/PYTm5h На картинке присутствуют два разрыва, но это происходит из-за того что мы запутали аргумент x не максимально, можно увеличить запутанность, простым коэффициентом (вычитанием x произвольное нужное количество раз) как здесь — goo.gl/MdEspr горбик видно, но при фиксированной точности разрывы сходят на нет! Поэтому я и говорю, если увеличить запутанность до бесконечности, то есть по сути вычитая x бесконечное количество раз, то разрыв исчезает с максимальной точностью


                1. koldyr
                  27.11.2017 23:45

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


                  1. xayam Автор
                    27.11.2017 23:50

                    И никто не изучает особые точки с помощью «увеличения».

                    я Вам показал тот же самый эффект с помощью «поворота», что Вы не увидели в предыдущем посте
                    ArcSin[Cos[x]]-ArcCos[Abs[Sin[x]]]
                    ArcSin[Cos[x]]-ArcCos[Abs[Sin[x]]]-10*x


                    1. koldyr
                      28.11.2017 00:02

                      Я вас вообще перестал понимать, но тем не менее, скажите, вы в состоянии arccos(sin(x)) и arcsin(cos(x)) руками преобразовать в в pi/2-x на соответствующем отрезке и так далее и потом ручками на бумаге нарисовать результат, а не совать все в математический пакет, не понимая что происходит?


                      1. xayam Автор
                        28.11.2017 00:07
                        -1

                        Я вас вообще перестал понимать

                        Вы знаете у нас прогресс в беседе — Вы сознались что чего-то не знаете/не понимаете. Это уже хорошо, но больше я Вам вряд ли чем-нибудь помогу — знать путь и пройти его не одно и то же (кажется из матрицы). Помедитируйте над фразой — «поворот» осуществляется операцией вычитания и я надеюсь что при Вашем желании вы увидите прямую, которую мы ищем.


                        1. koldyr
                          28.11.2017 00:13

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


                          1. xayam Автор
                            28.11.2017 00:16

                            мда, забили Вам голову капитально. Вы сами умеете думать, наблюдать, делать выводы?


                            1. koldyr
                              28.11.2017 00:26

                              Выводы из чего? Из того что вы пытаетесь поделить 0 на 0? Ваше «решение» преобразуется к 1 на одних отрезках к -1 на других, и к неопределенности в точках разрыва так как знаменатель в них 0. Ручками, за пол минуты, без математических пакетов и никакой магии или открытия там нет.


                              1. xayam Автор
                                28.11.2017 00:30

                                ладно, я понимаю, что это бесполезно, но выводы Вы должны сделать — есть то что Вам не понятно.
                                И последняя ссылка, «вертикаль» на блюдечке с голубой каемочкой (здесь горизонталь) —
                                ArcSin[Cos[x]]+ArcCos[Abs[Sin[x]]]-x)/(ArcSin[Cos[x]]-ArcCos[Abs[Sin[x]]]-x)


                                1. koldyr
                                  28.11.2017 00:45

                                  Поскольку то что вы называете «поворотом» есть только в вашей голове вернемся немного назад.
                                  1) понимаете ли вы как работает процедура plot, понимаете ли что она может пропустить особую точку и вы увидите непрерывную кривую там, где на самом деле разрыв?
                                  2) посчитайте значение знаменателя вашего «решения» в точке pi/2.


                                  1. xayam Автор
                                    28.11.2017 00:49

                                    вы увидите непрерывную кривую там, где на самом деле разрыв?
                                    2) посчитайте значение знаменателя вашего «решения» в точке pi/2.

                                    в этом нет смысла. Зачем считать значение функции в точке Pi/2, если это запись этого числа Pi/2 бесконечно и Вы в любом случае получите ничего не значащее для вас новую бесконечно длинную запись числа, -Pi/2 получилось вроде в знаменателе


                                    1. koldyr
                                      28.11.2017 00:57

                                      arccos(|sin(pi/2)|)=0
                                      совершенно точно, без бесконечно длинных записей числа.


                                      1. xayam Автор
                                        28.11.2017 00:59

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


                                        1. koldyr
                                          28.11.2017 01:08

                                          Математики прекрасно знают что делают, в окресности слева от pi/2 везде значение вашей функции 1, в окресности справа везде значение функции -1 прям везде везде. Сама точка pi/2 не входит в область допустимых значений аргумента потому что знаменатель — 0. А почему 0 не входит в мультипликативную группу поля вы сможете узнать из высшей алгебры.


            1. koldyr
              28.11.2017 00:10

              В смысле как можно назвать то что на кдпв? Это кусочно гладкое одномерное многообразие, например. Или просто множество точек, определяемое картинкой и словесным описанием. Или еще что-нибудь, но точно не функция y от x если имеются места с вертикальными линиями.


      1. Dr_Dash
        27.11.2017 23:18

        вообщето тут не просто 0/0 а предел выражения, lim(|cos(x)|/cos(x)), через правило Лопиталя переходим к синусу, оттуда пользуясь первым замечательным пределом к lim(x/x) иксы в выражении сокращаются, получается 1,
        math1.ru/education/limits/limitfirst.html пример 6, там похожие преобразования
        единственное, что я не могу сказать — при подходе к pi/2 слева получается +1, при подходе справа — 1, и я не знаю какой знак будет в точке pi/2. Но это не означает что логика решения выше неверная, если брать cos(x)/cos(x), т.е без модуля будет однозначно 1


        1. Janycz
          28.11.2017 23:39

          Согласно определению предела по Гейне, f[x] = Abs[Cos[x]]/Cos[x] не имеет предела в точке x = Pi / 2: предел по множеству точек (слева) x[n] = Pi / 2 — 1 / n равен 1, а по мноеству точек (справа) y[n] = Pi / 2 + 1 / n равен -1 и при этом последовательности { x[n] } и { y[n] } стремятся к Pi / 2.
          А правило Лопиталя тут не поможет:
          Limit[Abs[Cos[x]]/Cos[x], x -> Pi/2] = Limit[Sqrt[Cos[x]*Cos[x]]/Cos[x], x -> Pi/2] = [ применим правило Лопиталя ] = Limit[D[Sqrt[Cos[x]*Cos[x]], x]/D[Cos[x], x], x -> Pi/2] = Limit[Cos[x]/Sqrt[Cos[x]*Cos[x]], x -> Pi/2] = [ применим правило Лопиталя ] = Limit[Sqrt[Cos[x]*Cos[x]]/Cos[x], x -> Pi/2] = Limit[Abs[Cos[x]]/Cos[x], x -> Pi/2]


          1. Dr_Dash
            29.11.2017 05:26

            Ниже уже разобрали, это неустранимый разрыв первого рода. f[x] = Abs[Cos[x]]/Cos[x] действительно не имеет предела в указанных точках, они выколоты из функции


  1. PapaBubaDiop
    26.11.2017 18:16

    Вертикальные линии противоречат определению функции. А так — красиво.


    1. xayam Автор
      26.11.2017 19:20

      Вертикальные линии противоречат определению функции

      это я уже слышал и не очень боюсь, что мне понизят карму (у меня ее и так нет), но скажу — не всё в жизни есть «определения», есть более глубокие вещи


      1. PapaBubaDiop
        26.11.2017 21:01
        +1

        Это вы зря, математика — наука строгая.


        1. xayam Автор
          26.11.2017 22:09

          в том то и дело, что она слишком строга, настолько, что многие люди, использующие её, закостенели в своём однобоком мировоззрении.


          1. Sultansoy
            26.11.2017 22:13

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


            1. xayam Автор
              26.11.2017 22:17

              возможно и не нужно называть так, но всё таки это математика как ни крути.
              Насчет сформулировать свои аксиомы и определения, думаю это будет проблематично — у меня не математическое образование и мне достаточно сложно разложить всё по полочкам те взгляды, с которыми я не согласен, поскольку это достаточно глобальная проблема. Хотя по большому счету Вы конечно правы.


              1. koldyr
                26.11.2017 22:25

                Получите математическое. Ваше несогласие связано исключительно с непониманием.


                1. xayam Автор
                  26.11.2017 22:31

                  Я уже не в том возрасте, чтобы этим заниматься.

                  Ваше несогласие связано исключительно с непониманием.

                  Возможно, возможно. Но вполне возможно что и Вы чего-то не понимаете.
                  Не считаете же Вы, что математика достигла всего, что возможно? И нет еще потенциала для дальнейшего развития?


                  1. koldyr
                    26.11.2017 22:37

                    Возраст не важен, разве что вы умрете раньше, чем освоите базовый курс.


          1. PapaBubaDiop
            26.11.2017 22:50

            Хотите стать новым Лобачевским? Похвально. Но чтобы сломать старые аксиомы — надо для начала их выучить.


            1. xayam Автор
              26.11.2017 22:54
              -1

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


              1. PapaBubaDiop
                26.11.2017 22:57
                +1

                Не скатись до уровня -

                У нее внутре неонка


                1. Zenitchik
                  27.11.2017 16:21

                  Думатель и неонка.


              1. Randl
                27.11.2017 00:50

                Так вот понимания же у вас и нету


  1. basilbasilbasil
    26.11.2017 18:29

    если не вертикальные то tanh(cos(x)), коэффициенты добавить по вкусу



  1. pvl_1
    26.11.2017 18:44

    Вопрос. Зачем? Зачем такие мучения, если можно можно просто использовать преобразование Фурье, которое в Вашем случае периодического сигнала даёт вполне нормальный ряд Фурье исключительно из косинусов, который можно выразить бесконечной суммой.


    1. xayam Автор
      26.11.2017 19:02

      ряд Фурье менее эффективен в плане производительности вычисления, для увеличения точности приходится увеличивать количество косинусов и, например, уже при их количестве в 500 даже вольфрам альфа уже не справляется[не хватает такого распространенного ресурса как время :) ], к тому же достаточной точности мы не получим и в этом случае.


      1. pvl_1
        26.11.2017 19:29

        500 членов ряда Фурье — недостаточная точность? Да там, судя по затруднению Вольфрам Математики, уже длинная арифметика работает, а не числа двойной точности! И этого Вам не хватает? Вообще, ряд Фурье в данном случае точно сходится к описанной Вами функции в области гладкости и к 0 в точках разрыва (то есть где резкий перепад высот).
        А если серьёзно, то что Вам мешает использовать предложенное в комментариях sign(sin(t)) (ну или sign(cos(t))? Религия?


    1. Fil
      26.11.2017 22:01

      Ряд Фурье устремляет среднеквадратичное отклонение к нулю, но поточечная сходимость не обязана выполнятся. В этом примере в точках разрыва возникает эффект Гиббса — неустраняемый «всплеск», уменьшающийся в ширину, но стремящийся к высоте примерно в 18% от амплитуды.


  1. Krawler
    26.11.2017 18:44

    x = sgn(sin(t)). Это ж стандартный прямоугольный сигнал
    ru.wikipedia.org/wiki/Меандр_(радиотехника)


    1. thatsme
      26.11.2017 19:36

      Вы наверное имели в виду sgn(cos(t)), однако всё равно это не та-же самая функция, что и у автора.


      1. Sdima1357
        26.11.2017 21:16

        В списке Sgn не было:
        Plot[(Mod[x/pi+0.5,1]-Mod[x/pi+0.5,2]+0.5)*2]


  1. NIN
    26.11.2017 18:44

    Поясните пожалуйста, причем здесь квантовая запутанность?


    1. Sdima1357
      26.11.2017 19:04

      Не причем. Видимо просто программа «Математика» автору понравилась. Мне эта программа тоже нравится :)


    1. xayam Автор
      26.11.2017 19:07

      возможно и не при чем, это скорей как ассоциация, подтолкнувшая к поиску нестандартного решения.


  1. Sultansoy
    26.11.2017 19:00

    Можно узнать, а как функция в одной точке принимает бесконечное количество значений? Я про части, который параллельны оси OY


    1. thatsme
      26.11.2017 19:38

      А вы на кривые Эдвардса посмотрите.


    1. Overlordff
      26.11.2017 19:45

      Там наверное линии не вертикальные, а под маленьким, незаметным углом.


      1. xayam Автор
        26.11.2017 19:51

        да, конечно, задача решена приближенно и угол есть. Но ключевой вопрос это точка Pi/2, где пределы с положительной и отрицательной стороны равны -1 и 1. Что следует из этого? Есть разрыв? Возможно. Но возможно, что можно принять как аксиому противоположное, что разрыва нет и в этой точке — чистая вертикаль. Как по Вашему возможно вернуть бесконечный (внутри) и ограниченный (снаружи) отрезок? Только вернув предельные значения для y, равные -1 и 1, а человек уже сам должен решать, что между этими промежутками — вертикаль или нет, но поскольку точка Pi/2 это не отрезок (она одна), то можно смело утверждать, что в этой точке строго вертикальная линия. Но математические догмы мешают это понять, что мне не особо ясно почему так?


        1. koldyr
          26.11.2017 20:02

          Если вам мешают существующие математические догмы то создавайте свою непротиворечивую математику.


          1. xayam Автор
            26.11.2017 20:04
            -2

            хорошо, эта тема будет первой на пути ее создания :)


            1. koldyr
              26.11.2017 20:25

              Эта — не будет, в силу непонимания того, как пользоваться аксиоматическим методом.


        1. stychos
          27.11.2017 00:55

          Следуя Вашей же логике, точка Pi/2 не может являться неделимой величиной, а значит её местоположение подчинено квантовым флюктуациям — и любая линия, проведенная «вертикально», будет находиться под каким-то, ничтожным, углом.


          1. xayam Автор
            27.11.2017 00:57

            значит её местоположение подчинено квантовым флюктуациям

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


  1. xayam Автор
    26.11.2017 21:42
    -1

    Статья обновлена. Добавлены разделы:
    — Оценка погрешности найденного решения
    — Другие способы решения
    — Разное


  1. BattleAngelAlita
    27.11.2017 00:25

    s = min(1.0, max(-1.0, abs((frac(x) — 0.5) — 0.25) * 100500));


  1. PTM
    27.11.2017 13:58

    Может ряд Фурье?


  1. Cosh
    28.11.2017 07:08

    На самом деле функция (1) cos(x)/|cos(x)| дает эту же функцию, что и уавтора (2). У них одна и та же область определения — вся прямая с выколотыми точками Pi/+Pi*n. Та же самая область значений. Одним и тем же аргументам соответствуют те же значения функции. В выколотых точках неустранимый разрыв первого рода. Т.е. это одно и тоже. Но автор апеллирует к графикам, которые рисует на определенном сайте — wolframalpha.
    Так вот весь эффект — он ровно в этом и заключается. Т.е. это некая фича, которая присуща этому вычислительному ресурсу, и не более того.
    Можно посмотреть как ведет себя график (1) вблизи выколотой точки:
    Как видно, счет идет корректно и нам даются ровные линии в 1 и -1. Вплоть до разрыва.
    Иначе себя ведет график (2) — функции предложенной автором:
    Видно, что в окрестности разрыва, функцию начинает колбасить и она выдает неверные значения. Причем, видно, что идет понижение расчетных значений функции.
    Если функцию «перевернуть», то получится (3) функция, которая должна, по идее давать те же результаты, но:
    Видно, что идет повышение.
    И в итоге, мы видим, те же разрывы, что и в случае функции (1).
    И эти разрывы не нравятся автору, хотя как мы и сказали — функции абсолютно одинаковы по сути.
    Мне кажется, что в этом и разница, что wolframalpha творчески подходит к построению графиков. В случае функции (2) подходя к критической точке, идет понижение значений и вычислитель испытывая перегрузки, в итоге просто соединяет две крайние допустимые для себя точки и все. В случае (3) идет расхождение значений и он рисует разрыв. А вот в случае (1) он сохраняет ясность ума до самого конца и тоже рисует разрыв.
    То, что функция (1) для него проста, говорит и такой факт
    Как видим, он на непонятном основании выводит в качестве значения предел справа. В тоже время и для (2) и (3) он честно напишет — undefined.
    В общем, получается, что никакой новой математики нет. Никаких волновых сингулярностей и прочей словесной дребедени тоже. Есть не вполне корректная работа конкретного вычислителя на конкретном сайте в данном случае. На что-то серьезное данный эффект не окажет влияния. Но автора вдохновил на статью с «открытием». Но если бы он хоть немного разбирался в вопросе с которым вышел, то его должно было бы вдохновить на переписку с авторами сайта wolframalpha. Или не должно.


    1. Dr_Dash
      28.11.2017 09:08

      Очень хороший развёрнутый ответ. Особенно про неустранимый разрыв. А то университетский курс протестовал в подсознании, но не мог пробиться на поверхность, создавая внутренний дискомфорт.


  1. IBAH_II
    28.11.2017 10:41

    Задача: Найти функцию для графика (бесконечного в обе стороны оси ОХ):
    Ограничения: Должны использоваться только тригонометрические функции (любые прямые и обратные) и знаки операций плюс, минус, разделить, умножить, модуль. Решение должно быть представлено одной формулой.


    тоже мне секрет Полишенеля

    f(t)=(2/pi)*arctg(100500*cos(2*pi*t))
    к тому же функция гладкая, те. дифференцируема в каждой точке


    1. xayam Автор
      28.11.2017 18:36
      -2

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


      1. Cosh
        29.11.2017 05:31
        +1

        Самое эффективное вам давно привели. sign(cos(x)). А еще проще константы на открытых интервалах. Да, вольфрам строит их так как и должно — без соединительных прямых, явным образом показывая то, что присутствует и в «вашей функции», а именно неустранимый разрыв первого рода.

        Но, чу — посмотрите:
        Белейшая функция наступившего квадроидного косинуса

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

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


  1. Refridgerator
    30.11.2017 07:13

    Вот мой вариант — чем больше n, тем больше косинус «квадратный»:
    image


    1. xayam Автор
      30.11.2017 10:15

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


      1. Refridgerator
        30.11.2017 12:06

        Вот если бы Вы нашли ещё какую-нибудь такую функцию без параметра
        Да запросто:
        Tan[x]/Abs[Tan[x]]


      1. Refridgerator
        30.11.2017 12:14

        Ещё, без модулей:
        Sqrt[Cos[x]^2]/Cos[x]


      1. Refridgerator
        30.11.2017 12:20

        Или даже так:
        Sqrt[2 + E^(-2 i x) + E^(2 i x)]/(E^(-i x) + E^(i x))


        1. xayam Автор
          30.11.2017 12:46

          разрыв не устранен ни в одном решении


          1. Refridgerator
            30.11.2017 12:54

            В смысле «не устранён»?? Его в этой задаче не может не быть по определению.