[Paper Review] On some parabolic systems arising from a nuclear reactor model with nonlinear boundary conditions

Kosuke Kita, Mitsuharu Ôtani+1 more|arXiv (Cornell University)|May 11, 2018

Nonlinear Partial Differential Equations10 references3 citations

TL;DR

This paper studies a nonlinear reaction-diffusion system modeling neutron and temperature dynamics in nuclear reactors with nonlinear boundary conditions. Using a fixed-point argument and energy estimates, it establishes existence and ordered uniqueness of positive stationary solutions, and proves a threshold property: initial data above a critical level lead to finite-time blow-up, while below it, solutions exist globally, with both $ u_1 $ and $ u_2 $ blowing up simultaneously when they blow up.

ABSTRACT

In this paper, we are concerned with a reaction diffusion system arising from a nuclear reactor model in bounded domains with nonlinear boundary conditions. We show the existence of a stationary solution and its ordered uniqueness. It is also shown that every positive stationary solution possesses threshold property to determine blow-up or globally existence for solutions of nonstationary problem.

Motivation & Objective

• To establish the existence and ordered uniqueness of positive stationary solutions for a parabolic reaction-diffusion system modeling nuclear reactor dynamics with nonlinear boundary conditions.
• To investigate the threshold property that determines whether solutions to the nonstationary problem blow up in finite time or exist globally.
• To overcome difficulties in $ L^∞ $-norm estimation due to nonlinear boundary conditions by introducing a novel analytical approach.
• To prove that both $ u_1 $ (neutron density) and $ u_2 $ (temperature) blow up simultaneously when blow-up occurs.

Proposed method

• Applies an abstract fixed-point theorem based on Krasnosel’skii’s result to prove existence of positive stationary solutions.
• Develops a new method to estimate $ L^∞ $-norms of solutions by leveraging strong summability on the boundary under nonlinear boundary conditions.
• Uses spectral theory and the first eigenfunction $ \varphi_1 $ to derive differential inequalities for energy-type quantities.
• Employs contradiction arguments and Gronwall-type estimates to analyze blow-up behavior of $ L^∞ $-norms of $ u_1 $ and $ u_2 $.
• Integrates the system equations with test functions and applies integration by parts to derive a priori estimates.
• Establishes simultaneous blow-up of $ u_1 $ and $ u_2 $ by contradiction, showing that if one blows up while the other remains bounded, a contradiction arises via Gronwall’s inequality.

Experimental results

Research questions

• RQ1 Does a positive stationary solution exist for the nonlinear parabolic system with nonlinear boundary conditions?
• RQ2 Is the positive stationary solution uniquely ordered, i.e., is there a unique solution in a given ordering class?
• RQ3 What is the threshold condition that separates global existence from finite-time blow-up in the nonstationary problem?
• RQ4 Do the $ L^\infty $-norms of $ u_1 $ and $ u_2 $ blow up simultaneously when blow-up occurs?
• RQ5 How can $ L^\infty $-norm estimates be obtained when standard linear theory fails due to nonlinear boundary conditions?

Key findings

• A positive stationary solution exists for the system with nonlinear boundary conditions, proven via a fixed-point argument under appropriate assumptions on the parameters.
• The positive stationary solution is uniquely ordered, meaning no two distinct positive solutions exist with one pointwise greater than the other.
• Solutions to the nonstationary problem either exist globally or blow up in finite time, depending on whether the initial data exceed a threshold determined by the stationary solution.
• If blow-up occurs, both $ u_1 $ and $ u_2 $ blow up simultaneously in $ L^\infty $-norm, as shown by contradiction using Gronwall’s inequality.
• The $ L^\infty $-norms of $ u_1 $ and $ u_2 $ cannot blow up independently; if one remains bounded, the other cannot blow up, contradicting the blow-up assumption.
• A novel approach to boundary $ L^p $-summability enables $ L^\infty $-norm estimates despite nonlinear boundary conditions, overcoming limitations of classical linear theory.