Предложите лабораторно-вычислительный учебный проект для студентов по численному моделированию формирования протопланетного диска с использованием гидродинамического кода: постановка задачи, набор начальных условий, ожидаемые результаты и критерии валидации результатов.
Краткий учебный проект: численное моделирование формирования протопланетного диска и взаимодействия с зародышем планеты. Постановка задачи - Модель: двумерная тонкодисковая гидродинамика (поверхностная плотность Σ(r,φ,t)\Sigma(r,\varphi,t)Σ(r,φ,t), поле скорости v=(vr,vφ)\mathbf{v}=(v_r,v_\varphi)v=(vr,vφ)), локально изотермическое уравнение состояния. - Основные уравнения (в цилиндрических координатах, вертикально усреднённые): ∂Σ∂t+∇⋅(Σv)=0,
\frac{\partial\Sigma}{\partial t}+\nabla\cdot(\Sigma\mathbf v)=0, ∂t∂Σ+∇⋅(Σv)=0,∂(Σv)∂t+∇⋅(Σv⊗v)=−∇P−Σ∇Φ+∇⋅T,
\frac{\partial(\Sigma\mathbf v)}{\partial t}+\nabla\cdot(\Sigma\mathbf v\otimes\mathbf v)=-\nabla P-\Sigma\nabla\Phi+\nabla\cdot\mathbf{T}, ∂t∂(Σv)+∇⋅(Σv⊗v)=−∇P−Σ∇Φ+∇⋅T,
где P=cs2ΣP=c_s^2\SigmaP=cs2Σ (локально изотермично), Φ\PhiΦ — потенциал звезды и планеты, T\mathbf TT — вязкий тензор (альфа-модель ниже). Набор начальных условий - Системы единиц: принять GM∗=1G M_*=1GM∗=1, радиус планеты в начальный момент rp=1r_p=1rp=1, орбитальный период Torb=2πT_{\rm orb}=2\piTorb=2π. - Поверхностная плотность: Σ(r)=Σ0(r1)−p\Sigma(r)=\Sigma_0\left(\dfrac{r}{1}\right)^{-p}Σ(r)=Σ0(1r)−p, выбрать p= 1p=\!1p=1 и нормировку Σ0\Sigma_0Σ0 чтобы диск был тонким (учебный выбор Σ0=1\Sigma_0=1Σ0=1 в код.ед.). - Температура/напор: аспект отношение диска h≡H/r=0.05h\equiv H/r=0.05h≡H/r=0.05 (локально изотермично cs=h vKc_s=h\,v_Kcs=hvK, где vK=GM∗/rv_K=\sqrt{GM_*/r}vK=GM∗/r). - Вязкость (альфа-модель): ν=αcsH\nu=\alpha c_s Hν=αcsH с α=10−3\alpha=10^{-3}α=10−3 (вариантно α=10−4\alpha=10^{-4}α=10−4 и α=10−2\alpha=10^{-2}α=10−2 для сравнения). - Планета: массовая доля q≡Mp/M∗q\equiv M_p/M_*q≡Mp/M∗ взять набор: q∈{10−5, 10−4, 10−3}\;q\in\{10^{-5},\,10^{-4},\,10^{-3}\}q∈{10−5,10−4,10−3} (соответственно суперальс/нептун/юпитер-подобные случаи). Планету фиксировать на круговой орбите rp=1r_p=1rp=1 или разрешить миграцию. - Пространственная область: радиально r∈[rin,rout]=[0.4, 2.5]r\in[ r_{\rm in},r_{\rm out} ]=[0.4,\,2.5]r∈[rin,rout]=[0.4,2.5] (в единицах rpr_prp), по азимуту φ∈[0,2π]\varphi\in[0,2\pi]φ∈[0,2π]. - Граничные условия: заливка волновыми дампинг-зонами у краёв (движение к начальной плотности в зоне r<0.5r<0.5r<0.5 и r>2.2r>2.2r>2.2), неабсорбирующие по углу. Численная настройка (рекомендации для студентов) - Код: FARGO, PLUTO или Athena++ (FARGO удобен для долгих эволюций благодаря ускорению по азимуту). - Сетка: тестовый уровень — Nr×Nφ=256×512\;N_r\times N_\varphi =256\times512Nr×Nφ=256×512; продвинутый — 512×1024\;512\times1024512×1024. - Тайм-степ: CFL-условие; симуляция на промежуток tfinal=200\;t_{\rm final}=200tfinal=200 орбит (для начального проекта) или до t=1000\;t=1000t=1000 орбит для изучения медленной эволюции. - Потенциал планеты смягчить: мягкая длина ϵ=0.6H\epsilon=0.6Hϵ=0.6H для 2D аппроксимации. Ожидаемые результаты (что анализировать) - Карты поверхности плотности Σ(r,φ,t)\Sigma(r,\varphi,t)Σ(r,φ,t): спиральные волны, формирование зазора для больших qqq. - Азимутальные усреднения ⟨Σ⟩φ(r,t)\langle\Sigma\rangle_\varphi(r,t)⟨Σ⟩φ(r,t): профиль зазора (глубина и ширина) во времени. - Квазистационарный момент ротора/торк на планету Γ(t)\Gamma(t)Γ(t) и скорость миграции r˙p(t)\dot r_p(t)r˙p(t) (если планета подвижна). - Радиальные потоки массы и массовый расход через внутреннюю границу M˙(r,t)=−2πr⟨Σvr⟩φ\dot M(r,t)=-2\pi r\langle\Sigma v_r\rangle_\varphiM˙(r,t)=−2πr⟨Σvr⟩φ. - Фурье-распад по азимутальному числу mmm для оценки доминирующих мод: амплитуда Am(r,t)=∣∫Σe−imφdφ∣A_m(r,t)=|\int\Sigma e^{-im\varphi}d\varphi|Am(r,t)=∣∫Σe−imφdφ∣. Критерии валидации и тесты корректности - Консервация: - Относительная ошибка суммарной массы диска за расчёт: ∣M(t)−M(0)M(0)∣<1%\left|\dfrac{M(t)-M(0)}{M(0)}\right|<1\%M(0)M(t)−M(0)<1% (с учётом потерь через граничные зоны). - Аналогично для углового момента: погрешность должна быть малой (< 5%<\!5\%<5% в учебном расчёте). - Сходимость по разрешению: ключевые характеристики (глубина зазора, средний торк) не должны сильно меняться при увеличении разрешения (различие <20%<20\%<20% между 256×512\;256\times512256×512 и 512×1024\;512\times1024512×1024). - Сравнение с аналитикой: - Для малых масс (тип I) средний торк должен быть порядка теоретической скалира: в порядковых величинах Γ∼Γ0\Gamma\sim \Gamma_0Γ∼Γ0, где Γ0∼(qh)2Σprp4Ωp2\Gamma_0\sim\left(\dfrac{q}{h}\right)^2\Sigma_p r_p^4\Omega_p^2Γ0∼(hq)2Σprp4Ωp2. Сопоставление знака и порядка величины с линейной теорией (Tanaka et al.) — качественный тест. - Критерий открытия зазора (Crida et al. 2006): проверить условие 34HRH+50νqrp2Ωp≲1,
\frac{3}{4}\frac{H}{R_H}+\frac{50\nu}{q r_p^2\Omega_p}\lesssim 1, 43RHH+qrp2Ωp50ν≲1,
где RH=rp(q3)1/3R_H=r_p\left(\dfrac{q}{3}\right)^{1/3}RH=rp(3q)1/3. Для q= 10−3q=\!10^{-3}q=10−3, h= 0.05h=\!0.05h=0.05, α= 10−3\alpha=\!10^{-3}α=10−3 ожидается открытый зазор; для q= 10−5q=\!10^{-5}q=10−5 — нет. - Повторяемость: результаты (глубина зазора, типичный торк) стабилизируются при запуске с теми же начальными условиями и различными схемами времени/ограничений в рамках ожидаемой погрешности. - Диагностика волн: скорость фазовой скорости спиралей близка к локальной угловой скорости возбуждающего источника; проверка сдвига угловой позиции спиралей во времени. Ожидаемые численные значения (пример) - Для параметров q= 10−3q=\!10^{-3}q=10−3, h= 0.05h=\!0.05h=0.05, α= 10−3\alpha=\!10^{-3}α=10−3 ожидаемые явления: плотный чистый зазор с глубиной Σgap/Σ0≪1\Sigma_{\rm gap}/\Sigma_0\ll 1Σgap/Σ0≪1 через ∼100\sim100∼100 орбит; торк порядка ∣Γ∣∼10−5÷10−4|\Gamma|\sim 10^{-5}\div10^{-4}∣Γ∣∼10−5÷10−4 в код.ед. (ориентировочно, измерять в Σ0rp4Ωp2\Sigma_0 r_p^4\Omega_p^2Σ0rp4Ωp2). - Для q≤10−4q\le10^{-4}q≤10−4 — линейные спиральные волны, миграция типа I, зазора не будет. Практические задания для студентов - Базовый: провести симуляцию без миграции планеты для трёх масс qqq (см. набор) и сравнить профили ⟨Σ⟩φ(r,t)\langle\Sigma\rangle_\varphi(r,t)⟨Σ⟩φ(r,t) через t=50,100,200\;t=50,100,200t=50,100,200 орбит. - Продвинутый: разрешить миграцию и измерить r˙p\dot r_pr˙p; сравнить с теоретическим предсказанием типа I (порядки). - Вариации: изменить α\alphaα и hhh и проследить влияние на зазор (проверить Crida). Критерии зачёта (кратко) - Наличие корректной реализации уравнений и граничных условий. - Соблюдение консервации массы/импульса в пределах заданных допусков. - Анализ: карты Σ\SigmaΣ, профиль зазора, график торка Γ(t)\Gamma(t)Γ(t), сравнение с аналитическими критериями (Crida, порядок величины для торка). - Краткий отчёт (1–2 стр.) с выводами и обсуждением источников ошибок. Если нужно, дам готовый шаблон начальных файлов для FARGO/PLUTO, контрольные графики и примеры команд запуска.
Постановка задачи
- Модель: двумерная тонкодисковая гидродинамика (поверхностная плотность Σ(r,φ,t)\Sigma(r,\varphi,t)Σ(r,φ,t), поле скорости v=(vr,vφ)\mathbf{v}=(v_r,v_\varphi)v=(vr ,vφ )), локально изотермическое уравнение состояния.
- Основные уравнения (в цилиндрических координатах, вертикально усреднённые):
∂Σ∂t+∇⋅(Σv)=0, \frac{\partial\Sigma}{\partial t}+\nabla\cdot(\Sigma\mathbf v)=0,
∂t∂Σ +∇⋅(Σv)=0, ∂(Σv)∂t+∇⋅(Σv⊗v)=−∇P−Σ∇Φ+∇⋅T, \frac{\partial(\Sigma\mathbf v)}{\partial t}+\nabla\cdot(\Sigma\mathbf v\otimes\mathbf v)=-\nabla P-\Sigma\nabla\Phi+\nabla\cdot\mathbf{T},
∂t∂(Σv) +∇⋅(Σv⊗v)=−∇P−Σ∇Φ+∇⋅T, где P=cs2ΣP=c_s^2\SigmaP=cs2 Σ (локально изотермично), Φ\PhiΦ — потенциал звезды и планеты, T\mathbf TT — вязкий тензор (альфа-модель ниже).
Набор начальных условий
- Системы единиц: принять GM∗=1G M_*=1GM∗ =1, радиус планеты в начальный момент rp=1r_p=1rp =1, орбитальный период Torb=2πT_{\rm orb}=2\piTorb =2π.
- Поверхностная плотность: Σ(r)=Σ0(r1)−p\Sigma(r)=\Sigma_0\left(\dfrac{r}{1}\right)^{-p}Σ(r)=Σ0 (1r )−p, выбрать p= 1p=\!1p=1 и нормировку Σ0\Sigma_0Σ0 чтобы диск был тонким (учебный выбор Σ0=1\Sigma_0=1Σ0 =1 в код.ед.).
- Температура/напор: аспект отношение диска h≡H/r=0.05h\equiv H/r=0.05h≡H/r=0.05 (локально изотермично cs=h vKc_s=h\,v_Kcs =hvK , где vK=GM∗/rv_K=\sqrt{GM_*/r}vK =GM∗ /r ).
- Вязкость (альфа-модель): ν=αcsH\nu=\alpha c_s Hν=αcs H с α=10−3\alpha=10^{-3}α=10−3 (вариантно α=10−4\alpha=10^{-4}α=10−4 и α=10−2\alpha=10^{-2}α=10−2 для сравнения).
- Планета: массовая доля q≡Mp/M∗q\equiv M_p/M_*q≡Mp /M∗ взять набор: q∈{10−5, 10−4, 10−3}\;q\in\{10^{-5},\,10^{-4},\,10^{-3}\}q∈{10−5,10−4,10−3} (соответственно суперальс/нептун/юпитер-подобные случаи). Планету фиксировать на круговой орбите rp=1r_p=1rp =1 или разрешить миграцию.
- Пространственная область: радиально r∈[rin,rout]=[0.4, 2.5]r\in[ r_{\rm in},r_{\rm out} ]=[0.4,\,2.5]r∈[rin ,rout ]=[0.4,2.5] (в единицах rpr_prp ), по азимуту φ∈[0,2π]\varphi\in[0,2\pi]φ∈[0,2π].
- Граничные условия: заливка волновыми дампинг-зонами у краёв (движение к начальной плотности в зоне r<0.5r<0.5r<0.5 и r>2.2r>2.2r>2.2), неабсорбирующие по углу.
Численная настройка (рекомендации для студентов)
- Код: FARGO, PLUTO или Athena++ (FARGO удобен для долгих эволюций благодаря ускорению по азимуту).
- Сетка: тестовый уровень — Nr×Nφ=256×512\;N_r\times N_\varphi =256\times512Nr ×Nφ =256×512; продвинутый — 512×1024\;512\times1024512×1024.
- Тайм-степ: CFL-условие; симуляция на промежуток tfinal=200\;t_{\rm final}=200tfinal =200 орбит (для начального проекта) или до t=1000\;t=1000t=1000 орбит для изучения медленной эволюции.
- Потенциал планеты смягчить: мягкая длина ϵ=0.6H\epsilon=0.6Hϵ=0.6H для 2D аппроксимации.
Ожидаемые результаты (что анализировать)
- Карты поверхности плотности Σ(r,φ,t)\Sigma(r,\varphi,t)Σ(r,φ,t): спиральные волны, формирование зазора для больших qqq.
- Азимутальные усреднения ⟨Σ⟩φ(r,t)\langle\Sigma\rangle_\varphi(r,t)⟨Σ⟩φ (r,t): профиль зазора (глубина и ширина) во времени.
- Квазистационарный момент ротора/торк на планету Γ(t)\Gamma(t)Γ(t) и скорость миграции r˙p(t)\dot r_p(t)r˙p (t) (если планета подвижна).
- Радиальные потоки массы и массовый расход через внутреннюю границу M˙(r,t)=−2πr⟨Σvr⟩φ\dot M(r,t)=-2\pi r\langle\Sigma v_r\rangle_\varphiM˙(r,t)=−2πr⟨Σvr ⟩φ .
- Фурье-распад по азимутальному числу mmm для оценки доминирующих мод: амплитуда Am(r,t)=∣∫Σe−imφdφ∣A_m(r,t)=|\int\Sigma e^{-im\varphi}d\varphi|Am (r,t)=∣∫Σe−imφdφ∣.
Критерии валидации и тесты корректности
- Консервация:
- Относительная ошибка суммарной массы диска за расчёт: ∣M(t)−M(0)M(0)∣<1%\left|\dfrac{M(t)-M(0)}{M(0)}\right|<1\% M(0)M(t)−M(0) <1% (с учётом потерь через граничные зоны).
- Аналогично для углового момента: погрешность должна быть малой (< 5%<\!5\%<5% в учебном расчёте).
- Сходимость по разрешению: ключевые характеристики (глубина зазора, средний торк) не должны сильно меняться при увеличении разрешения (различие <20%<20\%<20% между 256×512\;256\times512256×512 и 512×1024\;512\times1024512×1024).
- Сравнение с аналитикой:
- Для малых масс (тип I) средний торк должен быть порядка теоретической скалира: в порядковых величинах Γ∼Γ0\Gamma\sim \Gamma_0Γ∼Γ0 , где Γ0∼(qh)2Σprp4Ωp2\Gamma_0\sim\left(\dfrac{q}{h}\right)^2\Sigma_p r_p^4\Omega_p^2Γ0 ∼(hq )2Σp rp4 Ωp2 . Сопоставление знака и порядка величины с линейной теорией (Tanaka et al.) — качественный тест.
- Критерий открытия зазора (Crida et al. 2006): проверить условие
34HRH+50νqrp2Ωp≲1, \frac{3}{4}\frac{H}{R_H}+\frac{50\nu}{q r_p^2\Omega_p}\lesssim 1,
43 RH H +qrp2 Ωp 50ν ≲1, где RH=rp(q3)1/3R_H=r_p\left(\dfrac{q}{3}\right)^{1/3}RH =rp (3q )1/3. Для q= 10−3q=\!10^{-3}q=10−3, h= 0.05h=\!0.05h=0.05, α= 10−3\alpha=\!10^{-3}α=10−3 ожидается открытый зазор; для q= 10−5q=\!10^{-5}q=10−5 — нет.
- Повторяемость: результаты (глубина зазора, типичный торк) стабилизируются при запуске с теми же начальными условиями и различными схемами времени/ограничений в рамках ожидаемой погрешности.
- Диагностика волн: скорость фазовой скорости спиралей близка к локальной угловой скорости возбуждающего источника; проверка сдвига угловой позиции спиралей во времени.
Ожидаемые численные значения (пример)
- Для параметров q= 10−3q=\!10^{-3}q=10−3, h= 0.05h=\!0.05h=0.05, α= 10−3\alpha=\!10^{-3}α=10−3 ожидаемые явления: плотный чистый зазор с глубиной Σgap/Σ0≪1\Sigma_{\rm gap}/\Sigma_0\ll 1Σgap /Σ0 ≪1 через ∼100\sim100∼100 орбит; торк порядка ∣Γ∣∼10−5÷10−4|\Gamma|\sim 10^{-5}\div10^{-4}∣Γ∣∼10−5÷10−4 в код.ед. (ориентировочно, измерять в Σ0rp4Ωp2\Sigma_0 r_p^4\Omega_p^2Σ0 rp4 Ωp2 ).
- Для q≤10−4q\le10^{-4}q≤10−4 — линейные спиральные волны, миграция типа I, зазора не будет.
Практические задания для студентов
- Базовый: провести симуляцию без миграции планеты для трёх масс qqq (см. набор) и сравнить профили ⟨Σ⟩φ(r,t)\langle\Sigma\rangle_\varphi(r,t)⟨Σ⟩φ (r,t) через t=50,100,200\;t=50,100,200t=50,100,200 орбит.
- Продвинутый: разрешить миграцию и измерить r˙p\dot r_pr˙p ; сравнить с теоретическим предсказанием типа I (порядки).
- Вариации: изменить α\alphaα и hhh и проследить влияние на зазор (проверить Crida).
Критерии зачёта (кратко)
- Наличие корректной реализации уравнений и граничных условий.
- Соблюдение консервации массы/импульса в пределах заданных допусков.
- Анализ: карты Σ\SigmaΣ, профиль зазора, график торка Γ(t)\Gamma(t)Γ(t), сравнение с аналитическими критериями (Crida, порядок величины для торка).
- Краткий отчёт (1–2 стр.) с выводами и обсуждением источников ошибок.
Если нужно, дам готовый шаблон начальных файлов для FARGO/PLUTO, контрольные графики и примеры команд запуска.