In the first part of this paper we prove that the flow associated to the Burgers equation with a non local term of the form $\partial_x |D|^{α-1} u$ fails to be uniformly continuous from bounded sets of $H^s({\mathbb D})$ to $C^0([0,T],H^s({\mathbb D}))$ for $T>0$, $s>\frac{1}{2}+2$, $0\leq α<2$, ${\mathbb D}={\mathbb R} \ \text{or} \ {\mathbb T} $. Furthermore we show that the flow cannot be $C^1$ from bounded sets of $H^s({\mathbb D})$ to $C^0([0,T],H^{s-1+(α-1)^+ +ε}({\mathbb D}))$ for $ε>0$. We generalize this result to a large class of nonlinear transport-dispersive equations in any dimension, that in particular contains the Whitham equation and the paralinearization of the water waves system with and without surface tension. The current result is optimal in the sense that for $α=2$ and ${\mathbb D}={\mathbb T}$ the flow associated to the Benjamin-Ono equation is Lipschitz on function with $0$ mean value $H^s_0$.
In the second part of this paper we apply this method to deduce the quasi-linearity of the water waves system, which is the main result of this paper.
- ID статьи: 2002.02940
- Название: A geometric proof of the Quasi-linearity of the water-waves system
- Автор: Ayman Rimah Said
- Классификация: math.AP (Анализ УЧП), math-ph (Математическая физика), math.MP (Математическая физика)
- Дата публикации: 28 декабря 2022 г. (версия arXiv v2)
- Ссылка на статью: https://arxiv.org/abs/2002.02940
Статья состоит из двух основных частей: в первой части доказывается, что отображение потока уравнения Бюргерса с нелокальным членом ∂x∣D∣α−1u теряет равномерную непрерывность на ограниченных множествах в Hs(D) в пространство C0([0,T],Hs(D)), где T>0, s>21+2, 0≤α<2, D=R или T. Далее доказывается, что отображение потока не может быть класса C1. Этот результат обобщается на широкий класс нелинейных транспортно-дисперсионных уравнений, в частности включая уравнение Уизема и квазилинеаризацию системы поверхностных волн. Во второй части метод применяется к выводу квазилинейных свойств системы поверхностных волн, что является основным результатом статьи.
Традиционная классификация УЧП разделяет уравнения на квазилинейные и полулинейные:
- Квазилинейные: линейные по старшим производным, например ∂tu+∑Aj(u)∂ju=F(u)
- Полулинейные: старшие члены линейны, например ∂tu+∑Aj∂ju=F(u)
Однако такая классификация, основанная на подсчёте производных, не отражает адекватно свойства разрешимости задачи Коши.
- Проблема классификации: Классические уравнения КПI и КПII по подсчёту производных являются полулинейными, однако Бургейн доказал, что КПII разрешимо итерационным методом и отображение потока регулярно, тогда как Мулине и др. доказали, что отображение потока КПI не может быть класса C2.
- Новое определение: Автор использует определение, основанное на регулярности отображения потока:
- Полулинейное: отображение потока по крайней мере класса C1
- Квазилинейное: отображение потока не класса C1
- Научное значение: Понимание квазилинейных свойств системы поверхностных волн важно для предсказания долгосрочного поведения и численного решения.
- Установлена неравномерная непрерывность отображения потока уравнения Бюргерса с дисперсионными членами: для дисперсионного порядка α<2 доказано, что отображение потока теряет равномерную непрерывность
- Получены оптимальные результаты: доказано, что при α=2 и на торе отображение потока уравнения Бенджамина-Оно является липшицевым в пространстве функций с нулевым средним
- Техническое обобщение: результаты распространены на широкий класс нелинейных транспортно-дисперсионных уравнений в произвольной размерности
- Квазилинейность системы поверхностных волн:
- Доказана квазилинейность системы поверхностных волн с поверхностным натяжением (теорема 1.2)
- Доказана квазилинейность системы гравитационных волн (теорема 1.3)
- Геометрический метод: предложен новый метод доказательства, основанный на геометрическом анализе характеристических потоков
Имитация классического доказательства квазилинейности уравнения Бюргерса с преодолением технических трудностей, вызванных дисперсионными членами.
Рассматривается уравнение:
∂tv+v∂xv+∂x∣D∣α−1v=0
Для последовательностей (τ,ϵ,λ), удовлетворяющих определённым условиям:
- Разделение носителей: построенные решения u0∘χ(0,τ,x) и u0∘χ~(0,τ,x) имеют непересекающиеся носители
- Оценки:
u(τ,x)−v(τ,x)=u0∘χ(0,τ,x)−u0∘χ~(0,τ,x)+OHs−ν(малые члены)
- Высокочастотная функция с компактным носителем: u0(x)=λ21−sω(λx)
- Возмущение: v0(x)=u0(x)+ϵω(x)
- Соотношение параметров: λ→+∞, ϵ→0, λϵ→+∞
Определяется характеристический поток:
dtdχ(t,s,x)=u(t,χ(t,s,x)),χ(s,s,x)=x
Посредством замены переменных получается:
u(t,χ(t,0,x))=f(t,x)
где f удовлетворяет отступленному линейному уравнению.
Ключевое нововведение — использование обратимости по времени для построения "дефокусирующихся" данных u1,v1 в прошлые моменты времени, что избегает разрушения разделения носителей дисперсионными эффектами.
- Обработка дисперсионных членов: обращение времени позволяет избежать проблемы расширения носителя, вызванной дисперсией
- Геометрический анализ транспорта: использование геометрических свойств характеристических потоков для анализа поведения решений
- Техника псевдодифференциальных операторов: при обобщении на систему поверхностных волн применяется теория псевдодифференциальных операторов для работы с низкой регулярностью
Для α∈[0,2[, s∈]2+21,+∞[, отображение потока уравнения
∂tv+v∂xv+∂x∣D∣α−1v=0
не является равномерно непрерывным и не является классом C1 при более слабом контроле норм.
Для размерности d≥1, s∈]2+2d,+∞[, отображение потока системы поверхностных волн с поверхностным натяжением:
- не является равномерно непрерывным
- требует потери по крайней мере 21 производной для получения липшицева контроля
Для системы гравитационных волн при выполнении условия символа Тейлора:
- отображение потока не является равномерно непрерывным
- требует потери по крайней мере 21 производной для получения контроля класса C1
Результаты обобщаются на системы вида:
∂tv+TV(t,x,v)⋅∇v+Ta(t,v)v=F(t,v)
где a — эллиптический кососимметричный символ порядка α<2.
- Предположение H1: существует ω∈Cc∞ такая, что транспортный член удовлетворяет определённым условиям роста
- Условие символа: ограничения на класс символа и условия роста нелинейных членов
После квазилинеаризации и симметризации по Алазару-Бургу-Зюили система поверхностных волн может быть записана как:
∂tu+TV⋅∇u+iTγu=f
где:
- с поверхностным натяжением: γ — символ порядка 23
- гравитационные волны: γ — символ порядка 21
Посредством тщательно построенной замены переменных (введение регуляризующих операторов) доказано, что квазилинейная структура сохраняется при преобразовании.
- Оптимальность: для дисперсионных членов с α<2 нелинейность транспорта доминирует, приводя к потере регулярности отображения потока
- Пороговое явление: α=2 является точкой разделения между полулинейным и квазилинейным поведением
- Геометрическая природа: квазилинейность по существу вытекает из геометрических свойств характеристических потоков
- Требования регулярности: необходимо s>2+2d, что является техническим ограничением
- Условия символа: предъявляются сильные структурные требования к нелинейным членам
- Локальность: результаты локальны и не касаются глобального поведения
- Теоретический вклад: предоставляет новую геометрическую перспективу на классификацию УЧП как квазилинейных/полулинейных
- Методологические инновации: техника обращения времени и геометрический анализ транспорта предоставляют новые инструменты для смежных задач
- Прикладная ценность: имеет значение для численного моделирования волн и предсказания долгосрочного поведения
- Проверка оптимальности: в 24 автор доказывает, что потеря 21 производной действительно достаточна для получения липшицева контроля
- Возможности обобщения: метод может быть применим к другим физически релевантным дисперсионным уравнениям
- Численное влияние: конкретное влияние квазилинейных свойств на разработку численных методов заслуживает дальнейшего изучения
- Оригинальность метода: геометрический транспортный метод в сочетании с техникой обращения времени является инновационным
- Полнота результатов: полная теоретическая цепь от модельного уравнения к реальной физической системе
- Техническая глубина: искусное преодоление технических трудностей, вызванных дисперсионными членами
- Оптимальность: предоставляет острые результаты
- Техническая сложность: доказательства технически сложны, читаемость требует улучшения
- Ограничения применения: результаты в основном теоретические, практическая ценность требует дальнейшей проверки
- Трудности обобщения: распространение метода на другие уравнения может встретить технические препятствия
Данная статья вносит значительный вклад в теорию уравнений в частных производных, в частности предоставляя новые глубокие понимания математической структуры системы поверхностных волн.