Чи можливо вирішити нелінійні PDE без використання ітерації Ньютона-Рафсона?


15

Я намагаюся зрозуміти деякі результати і буду вдячний за загальні коментарі щодо вирішення нелінійних проблем.

Рівняння Фішера (PDE нелінійної реакції-дифузії),

ut=duxx+βu(1u)=F(u)

у дискретній формі,

uj=Lu+βuj(1uj)=F(u)

де - диференціальний оператор, а - трафарет дискретизації.u = ( u j - 1 , u j , u j + 1 )Lu=(uj1,uj,uj+1)

Метод

Я хочу застосувати неявну схему, оскільки мені потрібна стабільність і необмежений крок часу. Для цього я використовую -метод, (зауважте, що дає повністю неявну схему, а дає трапеційну або схему "Crank-Nicolson"),θ = 1 θ = 0,5θθ=1θ=0.5

uj=θF(un+1)+(1θ)F(un)

Однак для нелінійних задач цього зробити не можна, оскільки рівняння не можна записати в лінійній формі.

Щоб подолати цю проблему, я досліджував два числові підходи,

  1. Метод IMEX

    uj=θLun+1+(1θ)Lunθmethod diffusion term+βujn(1ujn)Fully explicit reaction term

    Найбільш очевидний шлях - ігнорувати нелінійну частину терміну реакції та просто оновити термін реакції з найкращим можливим значенням, тобто тим, що було попереднім кроком часу. Це призводить до отримання методу IMEX.

  2. Ньютон сольвер

νk+1=νk(IθτAn)1(νkun(1θ)τF(wn)θτF(wn+1))

Повне -методне рівняння можна вирішити за допомогою ітерації Ньютона-Рафсона для пошуку майбутньої змінної рішення. Де - індекс ітерації ( ), а - матриця якобіана . Тут я використовую символи для змінних ітерацій, таких, що вони відрізняються від рішення рівняння в точці реального часу . Це насправді модифікований розв’язувач Ньютона, оскільки якобіан не оновлюється з кожною ітерацією.θkk0AnF(wn)νkun

Результати

Порівняння рівняння Фішера чисельними методами.

Наведені вище результати обчислюються для досить великого кроку часу, і вони показують різницю між підходом часу та повним рішенням ітерації Ньютона.

Те, що я не розумію:

  1. Я здивований, що метод, який займає час, робить «добре», але з часом він відстає від аналітичного рішення. ( Зауважте, якби я обрав менший часовий крок, то підхід, що крокує за часом, дає результати, закриті для аналітичної моделі). Чому підхід із кроком у часі дає розумні результати нелінійному рівнянню?

  2. Модель Ньютона робить набагато краще, але починає лідирувати аналітичну модель з часом. Чому точність підходу Ньютона з часом зменшується? Чи можна підвищити точність?

  3. Чому існує загальна особливість, що після багатьох ітерацій числова модель і аналітична модель починають розходитися? Це лише тому, що крок часу занадто великий, чи це завжди відбуватиметься?


Я рекомендую ознайомитися з базовим аналізом помилок вирішувачів ODE, наприклад, у Hairer / Nørsett / Wanner, а також деякі аналізи стабільності. Тоді відповість на більшість ваших запитань.
Гвідо Канщат

1
@boyfarrell, щоб уникнути плутанини колег з читачами, слід покласти термінологію правильно там, де пояснюється ваш метод: 1. IMEX - явна в нелінійності та неявна в лінійній частині. 2. це стандарт -sheme, який зазвичай потребує методу Ньютона для вирішення оновленняθ
січня

1
Привіт @Jan Я думаю, я все отримав. Ще раз дякую за вашу допомогу.
boyfarrell

Відповіді:


9

u˙h(t)=Fh(t,uh(t)), on [0,T] ,uh(0)=α.
Φuhnt=tnuhn+1t=tn+1:=tn+τ

uhn+1=uhn+Φe(tn,τ,uhn),

uhn+1=uhn+Φi(tn,τ,uhn+1,uhn),()

або комбінацію обох (" IMEX ", див. відповідь @Jed Brown) одноетапні схеми крокового часу.

uhn+1()

І мої відповіді ґрунтуються на результатах чисельного аналізу одноетапних методів.

  1. Fh
  2. Ви можете знайти приклади, коли явні схеми працюють краще. (Теоретично ви можете змінити час у вашому прикладі, починаючи з термінального значення і знаходити неявні та явні взаємозамінні.) Якщо ви зробите помилку Ньютона достатньо малою, ви все одно можете підвищити точність, зменшивши крок часу або використовуючи час -схеми вищого порядку.
  3. CerrCτpp>0τ

Ще кілька зауважень та остаточна відповідь:

  • Схеми IMEX можуть використовуватися для обробки лише лінійної частини неявно, що дозволяє уникнути нелінійних рішень. Дивіться відповідь Джеда Брауна.
  • Crank-Nicolson - це одноетапний метод. Метод "кілька" у багатоетапних методах означає використання ряду попередніх часових кроків для визначення поточного оновлення. Наприклад, як
    uhn+1=Φm(tn,τ,uhn+1,uhn,uhn1).

()


Так, я застосував стандартний трафарет центральної різниці до терміну дифузії. Я не можу використовувати чітку схему (для реальної проблеми, яку я хочу вирішити), оскільки стабільний крок часу нереально малий. Ось чому я досліджую IMEX або неявні варіанти. Щодо вашого третього пункту, щоб уникнути накопичення помилок, я повинен використовувати багатоступеневі методи. Чи класифікована вище схема (Crank-Nicolson), яку я використовував (з розв'язувачем Ньютона), класифікується як багатоступеневий метод (він має два моменти часу)? Я був здивований, що помилка зростала з часом при використанні методу розв’язання Ньютона.
boyfarrell

Crank-Nicolson - це ступінчастий метод, оскільки він пише як uhn+1=uhn+Φ(tn,τn,uhn,uhn+1)

1
ОК, дякую за пояснення щодо методу CN. Так, цікаво, чому, схоже, багатоступеневі методи мають менший накопичення помилок. Причиною того, що у вирішувача Ньютона є помилка накопичення, є те, що це метод єдиного кроку, я зараз розумію. До речі, я знаю, що тобі подобається Python. Я все це робив, використовуючи scipy, numpy та matplotlib, gist.github.com/danieljfarrell/6353776
boyfarrell

Я видалив посилання на статтю Trefethen et. ін. про високу замовлення інтеграції IMEX з моєї відповіді, оскільки є кращі посилання, щоб дізнатися про схеми IMEX.
січня

12

Коротка відповідь

Якщо ви хочете лише точності другого порядку і не маєте вбудованої оцінки помилок, цілком ймовірно, що ви будете щасливі з розщепленням Странга: півкроковий етап реакції, повний крок дифузії, півкроковий етап реакції.

Довга відповідь

Дифузія реакцій, навіть при лінійній реакції, відома тим, що демонструє помилку розщеплення. Дійсно, це може бути набагато гірше, включаючи "конвергенцію" до неправильних стаціонарних станів, помилкове стаціонарне стан для граничних циклів, плутають стабільну та нестабільну конфігурацію тощо. Див. Ропп, Шадід, Обер (2004) та Нолл, Чакон, Марголін та Муссо (2003) для вивчення обчислювальної фізики щодо цього. Для аналізу математика з точки зору умов замовлення див. Книгу Хайрера та Ваннера про жорсткі ODE (методи Розенброк-W - лінійно неявний метод IMEX), Кеннеді та Карпентер (2003) щодо нелінійно-неявних IMEX "добавок" Рунге-Кутта, та на сторінці Еміля Константинеску про новітні методи IMEX.

Взагалі методи IMEX мають більше умов замовлення, ніж основні неявні та явні методи. Пари методів IMEX можуть бути спроектовані з бажаною лінійною та нелінійною стійкістю і таким чином, щоб вони відповідали всім умовам порядку до проектного порядку методу. Виконання всіх умов замовлення дозволить зберегти асимптотичну помилку розщеплення тієї ж шкали, що і помилка в кожній схемі окремо. Це нічого не говорить про доасимптотичний режим (великі часові кроки / низька вимога точності), але він рідко є більш суворим, ніж роздільна здатність кожної частини окремо. У будь-якому випадку помилка розбиття видно вбудованому оцінювачу помилок (при використанні адаптивного управління помилками).

У PETSc є багато методів IMEX родин Rosenbrock -W та добавок Runge-Kutta , а в наступному випуску буде екстраполяція та лінійний багатоступінковий IMEX.

Відмова: Я написав значну частину підтримки інтеграції PETSc та співпрацюю з Емілем (пов'язаний вище).


Я, безумовно, підходжу до цього з точки зору фізики, тому всі технічні деталі потребують певного часу, тому що я не знайомий з багатьма термінами. Я насправді експерименталіст! Ви б пояснили трохи більше про умови замовлення? IMEX - це багатоступеневі методи, згадані Яном?
boyfarrell

Умови замовлення - це співвідношення між коефіцієнтами методів ODE (наприклад, записи в таблиці Butcher для методів Runge-Kutta), які повинні бути задоволені, щоб мати порядок точності. Умови замовлення обговорюються в будь-якій книзі або статті, що розробляє методи інтеграції ODE, але в основному це означає багаторазове застосування похідних та відповідність термінів при розширенні Тейлора. Кількість умов замовлення швидко зростає для методів високого замовлення, тому важко розробити методи високого замовлення. Бар'єри встановлюються, показуючи, що умови замовлення взаємно несумісні.
Джед Браун
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.