We investigate the existence and stability of small perturbations of constant states of the generalized Hughes model for pedestrian flow in an infinitely large corridor. We show that constant flows are stable under a condition on the density. Our findings indicates that when the density is less than half of the maximum density $\rho_{m}/2$, which is the Lasry-Lions monotonicity condition, we can control the perturbation and prove positive stability results for the nonlinear Generalized Hughes model. However, due to wave propagation phenomena, we are unable to provide an answer for stability results when the density is higher. Our approach involves constructing an explicit solution for the linear problem in Fourier analysis and demonstrating, through a fixed-point argument, how to construct the solution for the full nonlinear mean-field games system.
In this paper, we present a new generalized Hughes model designed to intelligently depict pedestrian congestion dynamics, allowing pedestrian groups to either navigate through or circumvent high-density regions. First, we describe the microscopic settings of the model. The corresponding optimization problems are deterministic and can be formulated by a closed-loop model predictive control strategy. This microscopic setup leads in the mean-field limit to the Generalized Hughes model which is a class of non-separable mean field games system, i.e., Fokker-Planck equation and viscous Hamilton-Jacobi Bellman equation are coupled in a forward-backward structure. We give an overview on the mean field games in connection to our intelligent fluid model. Therefore, we show the existence of weak solutions to the Generalized Hughes model and analyze the vanishing viscosity limit of weak solutions. Finally, we illustrate the generalized Hughes model with various numerical experiments.
This paper investigates the limitations of neural operators in learning solutions for a Hughes model, a first-order hyperbolic conservation law system for crowd dynamics. The model couples a Fokker-Planck equation representing pedestrian density with a Hamilton-Jacobi-type (eikonal) equation. This Hughes model belongs to the class of nonlinear hyperbolic systems that often exhibit complex solution structures, including shocks and discontinuities. In this study, we assess the performance of three state-of-the-art neural operators (Fourier Neural Operator, Wavelet Neural Operator, and Multiwavelet Neural Operator) in various challenging scenarios. Specifically, we consider (1) discontinuous and Gaussian initial conditions and (2) diverse boundary conditions, while also examining the impact of different numerical schemes. Our results show that these neural operators perform well in easy scenarios with fewer discontinuities in the initial condition, yet they struggle in complex scenarios with multiple initial discontinuities and dynamic boundary conditions, even when trained specifically on such complex samples. The predicted solutions often appear smoother, resulting in a reduction in total variation and a loss of important physical features. This smoothing behavior is similar to issues discussed by Daganzo (1995), where models that introduce artificial diffusion were shown to miss essential features such as shock waves in hyperbolic systems. These results suggest that current neural operator architectures may introduce unintended regularization effects that limit their ability to capture transport dynamics governed by discontinuities. They also raise concerns about generalizing these methods to traffic applications where shock preservation is essential.
This paper addresses the diffusive limit of the nonlinear radiative heat transfer system in a curved boundary domain. Our major contribution is the development of a groundbreaking geometric correction for the boundary layer problem, which results in a valid approximate solution in the L infinity sense. This advancement significantly extends the earlier result on the flat boundary case (Ghattassi et al 2023 J. Math. Pures Appl. 9 181-215) to complex domains with curved boundaries and the earlier result on geometric corrections on the single linear radiative transfer equation (Wu and Guo 2015 Commun. Math. Phys. 336 1437-553) to a nonlinear system of equations. Importantly, we show that the spectral assumption from (Ghattassi et al 2023 Arch. Ration. Mech. Anal. 247 52) for flat boundaries remains valid, ensuring stability with geometric corrections. Additionally, we rigorously proved the convergence of the solutions to a derived approximation system, taking into account boundary layers and geometric corrections. In general, this work represents a significant leap forward in understanding and applying radiative heat transfer systems to more complex scenarios.
This paper is devoted to the existence and uniqueness of solutions for the hemodynamic waves model. A hyperbolic system describing the total mass density of the brain which is the sum of the contributions due to the brain tissue and blood is discussed. Then, the fixed point theorem is used to show the well-posedness criteria of the mass density of the blood system.
This paper focuses on the nonlinear Milne problem of the radiative heat transfer system on the half-space. The nonlinear model is described by a second order ODE for temperature coupled to transport equation for radiative intensity. The nonlinearity of the fourth power Stefan–Boltzmann law of black body radiation, brings additional difficulty in mathematical analysis, compared to the well-developed theory for the Milne problem of the linear transport equation. To overcome this difficulty, the monotonicity properties of the second order ODE are used, together with the uniform estimate and compactness method, to prove the existence of the nonlinear Milne problem and to show the exponential decay of solutions. Moreover, the linear stability of the problem is established under a spectral assumption on its solutions, and the uniqueness of the nonlinear Milne problem is established in a neighborhood of solutions satisfying a spectral assumption or when the boundary conditions are close to the well-prepared case. The current work extends the study of Milne problem for linear transport equations and provides a comprehensive study on the nonlinear Milne problem of radiative heat transfer systems.
This paper is devoted to the diffusive limit of the nonlinear radiative heat transfer system with curved boundary domain (\textit{two dimensional disk}). The solution constructed in \cite{ghattassi2022convergence} by the leading order interior solution and the boundary layer corrections fails here to approximate the solutions in $L^\infty$ sense for the diffusive limit. The present paper aims to construct a geometric correction to the boundary layer problem and obtain a valid approximate solution in $L^\infty$ sense. The main tools to overcome the convergence problem, are to use matched asymptotic expansion techniques, fixed-point theorems, linear and nonlinear stability analysis of the boundary layer problem. In particular, the spectral assumption on the leading order interior solution, which was proposed for the flat case in \cite{Bounadrylayer2019GHM2}, is shown to be still valid which guarantee the stability of the boundary layer expansion with geometric corrections. Moreover, the convergence result established in \cite[Lemma 10]{ghattassi2022convergence} remain applicable for the approximate solution with geometric corrections.
In this paper, we study the diffusive limit of the steady state radiative heat transfer system for non-homogeneous Dirichlet boundary conditions in a bounded domain with flat boundaries. A composite approximate solution is constructed using asymptotic analysis taking into account of the boundary layers. The convergence to the approximate solution in the diffusive limit is proved using a Banach fixed point theorem. The major difficulty lies on the nonlinear coupling between elliptic and kinetic transport equations. To overcome this problem, a spectral assumption ensuring the linear stability of the boundary layers is proposed. Moreover, a combined $L^2$-$L^\infty$ estimate and the Banach fixed point theorem are used to obtain the convergence proof. This results extend our previous work \cite{ghattassi2020diffusive} for the well-prepared boundary data case to the ill-prepared case when boundary layer exists.
We study the diffusive limit approximation for a nonlinear radiative heat transfer system that arises in the modeling of glass cooling and greenhouse effects and in astrophysics. The model is considered with the reflective radiative boundary conditions for the radiative intensity and with periodic, Dirichlet and Robin boundary conditions for the temperature. The global existence of weak solutions for this system is given by using a Galerkin method with a careful treatment of the boundary conditions. Using the compactness method, averaging lemma and Young measure theory, we prove our main result that the weak solution converges to a nonlinear diffusion model in the diffusive limit. Moreover, under more regularity conditions on the limit system, the diffusive limit is also analyzed by using a relative entropy method. In particular, we get a rate of convergence. The initial and boundary conditions are assumed to be well-prepared in the sense that no initial or boundary layer exists.
This paper deals with boundary tracking problem for a radiative density parabolic equation (RDE) coming from an optical communication system. First, the radiative intensity is modeled by a radiative transfer equation (RTE). The idea of this work is to use the fact that the signal sent by the laser beam is collimated in consideration of the radiative density flux. Therefore, the control problem of the RTE model is transformed into a boundary control for an RDE based on the time-dependent SPN approximation. Then, we investigate a boundary output tracking problem of one dimensional parabolic density equation where the unknown disturbance enters the system from one part of the boundary. By utilizing one side boundary measurement, we construct an extended state observer to estimate the system state and the external disturbance. An output feedback boundary control is then designed using the states of the servo system and observer. It is shown that the closed-loop system and the control are uniformly bounded with output being tracking the reference and the closed-loop is internally exponentially stable. The numerical simulations are presented to illustrate the effectiveness of the proposed output feedback method.
This paper studies the null controllability for radiative conductive convective heat transfer system in a grey, semi-transparent, scattering and bounded domain with control acting locally in a subset. The well-posedness of PDE is proved by the Banach fixed point theorem. Moreover, the null controllability proof is based on a fixed point argument and Carleman estimates in the presence of source terms, and it avoids tackling the linearized problems. Finally, a numerical experiment is included to validate the theoretical results.
This paper considers the performance output tracking for a boundary controlled Direct Contact Membrane Distillation (DCMD) system. First, the mathematical properties of a recently developed mathematical model of the DCMD system are discussed. This model consists of parabolic equations coupled at the boundary. Then, the existence and uniqueness of the solutions are analyzed, using the theory of operators. Some regularity results of the solution are also established. A particular case showing the diagonal property of the principal operator is studied. Then, based on one-side feedback law the control problem, which consists of tracking both the feed and permeate outlet temperatures of the membrane distillation system is formulated. A servomechanism and an output feedback controller are proposed to solve the control problem. In addition, an extended state observer aimed at estimating both the system state and disturbance, based on the temperature measurements of the inlet is proposed. Thus, by some regularity for the reference signal and when the disturbance vanishes, we prove the exponential decay of the output tracking error. Moreover, we show the performance of the control strategy in presence of the flux noise.
This study analyses the boundary stabilization of a system of two parabolic linear PDEs weakly coupled at the boundary. This model is motivated by heat transfer in a membrane distillation based desalination modeled by a two-dimensional advection diffusion equations coupled at the boundary. Based on some physical assumptions, the 2D model can be formulated as a 1D reaction-diffusion system. Two cases were studied: full and under actuated scenarios. In the full actuated case, a backstepping approach is used to map the plant to an exponentially stable target system. The well-posedness of the kernel equations is proved. Moreover, the actuation of only one of the parabolic equations has been considered. The standard backstepping transformations is again used to transform the initial plant to a desired target system where Lyapunov analysis is adequately used. Finally, a numerical example showing the performance of the proposed control design is presented.
This paper deals with the heat transfer monitoring occurring within an inaccessible membrane distillation system. The membrane separates heated sea water and filtered cooled drinkable water. By adjusting the temperature of the incoming heated sea water and knowing its temperature distribution, engineers can keep its temperature within its best operating parameters and avoid hot spots to form. This would help prolong its life cycle and minimize the cost of the distillation process. In particular, we show that an external observation is enough to reconstruct the temperature of the membrane, which is considered as an unknown source term in a parabolic system.
This paper deals with existence and uniqueness results for a transient nonlinear radiative–conductive system in three-dimensional case. This system describes the heat transfer for a grey, semi-transparent and non-scattering medium with general boundary conditions. We reformulate the full transient state system as a fixed-point problem. The existence and uniqueness proof is based on Banach fixed point theorem.
This paper deals with the convergence of numerical scheme for combined nonlinear radiation–conduction heat transfer system in a gray, absorbing and non-scattering two-dimensional medium. The radiative transfer equation is solved using a Discontinuous Galerkin method with upwind fluxes. The conductive equation is discretized using the finite element method. Moreover, the Crank–Nicolson scheme is applied for time discretization of the semi-discrete nonlinear coupled system. Existence and uniqueness of the solution for the continuous and full discrete system are presented. The convergence proof follows from the application of a discrete fixed-point theorem, involving only the temperature fields at each time step. The order of approximation error, stability, and order of convergence are investigated. Finally, the theoretical stability and convergence results are supported with numerical examples.
This paper proposes a state observer for a coupled two dimensional partial differential equations (PDEs) system used to describe the heat transfer in a membrane distillation system for water desalination. The mathematical model based on reaction-diffusion system is introduced. Sufficient conditions for the exponential convergence of the estimation error is presented using Lyapunov method. A numerical example is also provided to illustrate the effectiveness of the proposed observer.
This article deals with a finite dimensional reduced order state observer for a class of nonlinear partial differential equations (PDEs) described by a radiative transfer equation (RTE) coupled with a nonlinear heat equation (NHE) in two-dimensional domains. First, the original plant is approximated by an $N$-dimensional ordinary differential equation (ODE) system using both discontinuous and continuous Galerkin methods. Thanks to the differential mean value theorem (DMVT), both high order and reduced order state observers are provided. The convergence of the discretized observer to the state of the original system is established. The error dynamic system was written as a linear parameter varying (LPV) system, and a linear matrix inequality (LMI) methodology is used to prove sufficient convex conditions for global convergence. Furthermore, we show how to construct the observer gains to ensure exponential convergence. Finally, an extension to $\mathcal{H}_{\infty}$ performance analysis, in the presence of disturbances and/or discretization errors, is also developed. In order to show the high accuracy of the proposed technique, in terms of precision and low computational requirements, numerical examples are provided.
This contribution concerns the problem of nite di- mensional control for a class of systems described by nonlinear hyperbolic-parabolic coupled partial dierential equations (PDE's). Initially, Galerkin's method is applied to the PDE system to derive a nonlinear ordinary dierential equation (ODE) system that accu- rately describes the dynamics of the dominant (slow) modes of the PDE system. After, we introduce a useful nonlinear controller to assure stabilization under convex sucient conditions. At last, we give a numerical example showing the eectiveness of the proposed controller and some comments illustrate this approach.