Search

This paper focuses on the design of fuzzy secure control for a class of coupled systems, which are modeled by a nonlinear $N$ -dimensional (N-D) parabolic partial differential equation (PDE) subsystem and an ordinary differential equation (ODE) subsystem. Under stochastic deception attacks, a fuzzy secure control scheme is designed, which is effective to tolerate the attacks and ensure the desired performance for the considered systems. A new fuzzy-dependent Poincare-Wirtinger's inequality (PWI) is proposed. Compared with the traditional Poincare's inequality, the fuzzy-dependent PWI is more flexible and less conservative. Meanwhile, an augmented Lyapunov-Krasovskii functional (LKF) is newly constructed, which strengthens the correlations of the PDE subsystem and ODE subsystem. Then, on the ground of the fuzzy-dependent PWI and the augmented LKF, new exponential stabilization criteria are set up for the PDE-ODE coupled systems. Finally, a hypersonic rocket car is presented to verify the effectiveness and less conservatism of the obtained results.

We show an energy convexity along any harmonic map heat flow with small initial energy and fixed boundary data on the unit 2-disk. In particular, this gives an affirmative answer to a question raised by W. Minicozzi asking whether such harmonic map heat flow converges uniformly in time strongly in the W^{1,2}-topology, as time goes to infinity, to the unique limiting harmonic map., Comment: 19 pages

For any $\alpha \in (0,1)$, we construct an example of a solution to a parabolic equation with measurable coefficients in two space dimensions which has an isolated singularity and is not better that $C^\alpha$. We prove that there exists no solution to a fully nonlinear uniformly parabolic equation, in any dimension, which has an isolated singularity where it is not $C^2$ while it is analytic elsewhere, and it is homogeneous in $x$ at the time of the singularity. We build an example of a non homogeneous solution to a fully nonlinear uniformly parabolic equation with an isolated singularity, which we verify with the aid of a numerical computation.

In this article, we investigate the parabolic partial differential equations (PDEs) systems with Neumann boundary conditions via the Takagi-Sugeno (T-S) fuzzy model. On the basis of the obtained T-S fuzzy PDE model, a novel fuzzy state controller which is associated with the boundary state of position and the mean value coefficient matrix derived through the mean value theorem of integral is designed to analyze the asymptotic stability of the parabolic PDE system. Without sampling the nonlinear parameter of the system, new stability conditions are deduced in the form of linear matrix inequalities (LMIs). Moreover, compared with the novel fuzzy state controller, more conservative conditions based on another fuzzy state controller are also provided. Finally, we explore the state-feedback controller into the Fisher equation as an application. Simulation results show that the proposed method is effective.

This paper is concerned with the recovery of (approximate) solutions to parabolic problems from incomplete and possibly inconsistent observational data, given on a time-space cylinder that is a strict subset of the computational domain under consideration. Unlike previous approaches to this and related problems our starting point is a regularized least squares formulation in a continuous infinite-dimensional setting that is based on stable variational time-space formulations of the parabolic partial differential equation. This allows us to derive a priori as well as a posteriori error bounds for the recovered states with respect to a certain reference solution. In these bounds the regularization parameter is disentangled from the underlying discretization. An important ingredient for the derivation of a posteriori bounds is the construction of suitable Fortin operators which allow us to control oscillation errors stemming from the discretization of dual norms. Moreover, the variational framework allows us to contrive preconditioners for the discrete problems whose application can be performed in linear time, and for which the condition numbers of the preconditioned systems are uniformly proportional to that of the regularized continuous problem. In particular, we provide suitable stopping criteria for the iterative solvers based on the a posteriori error bounds. The presented numerical experiments quantify the theoretical findings and demonstrate the performance of the numerical scheme in relation with the underlying discretization and regularization.

In this paper, we give a short proof of the Lorentz estimates for gradients of very weak solutions to the linear parabolic equations with the Muckenhoupt class A q -weights u t − div ( A ( x , t ) ∇ u ) = div ( F ) , in a bounded domain Ω × ( 0 , T ) ⊂ R N + 1 , where A has a small mean oscillation, and Ω is a Lipchistz domain with a small Lipschitz constant.

A parameter uniform numerical method is presented for solving singularly perturbed time-dependent differential–difference equations with small shifts. To approximate the terms with the shifts, Taylor’s series expansion is used. The resulting singularly perturbed parabolic partial differential equation is solved using an implicit Euler method in temporal direction and cubic B-spline collocation method for the resulting system of ordinary differential equations in spatial direction, and an artificial viscosity is introduced in the scheme using the theory of singular perturbations. The proposed method is shown to be accurate of order O Δ t + h 2 by preserving ɛ -uniform convergence, where h and Δ t denote spatial and temporal step sizes, respectively. Several test examples are solved to demonstrate the effectiveness of the proposed method. The computed numerical results show that the proposed method provides more accurate results than some methods exist in the literature and suitable for solving such problems with little computational effort.

Recently, it was shown that the solution of the Helmholtz equation can be approximated by a series over the solutions of iterative parabolic equations (IPEs). An expansion of the fundamental solution of the Helmholtz equation over solutions of IPEs is considered. It is shown that the resulting Taylor-like series can be easily transformed into a Padé-type approximation. In practical propagation problems such iterative Padé approximations exhibit improved wide-angle capabilities and faster convergence to the solution of the Helmholtz equation in comparison to Taylor-like expansion over IPEs solutions. A Gaussian smoothing of the expansion terms gives insight into the derivation of initial conditions consistent for IPEs, which can be used for point source simulation. A correct point source model consistent with the wide-angle one-way propagation equations is important in many practical applications of the parabolic equations theory.

This article investigates a spatial-L∞-norm-based reliable bounded control problem for a class of nonlinear partial differential equation systems in a finite-time interval. The main novelties are reflected in the following aspects: 1) inspired by the sector-nonlinearity approach, the considered nonlinear system is reconstructed by a Takagi-Sugeno fuzzy model, which provides an effective method for control design. Besides, several actuator failures, such as stuck faulty, outage faulty, and bias faulty, are taken into account and modeled by a novel Markov process; 2) partial areas' states are sampled and transmitted based on a new distributed event-triggered communication strategy, which reduces the cost of the system design and saves the limited network resources to some extent; and 3) on the basis of the first two works, a new piecewise fuzzy controller, which requires fewer actuators compared with the distributed control method, is constructed. Then, some sufficient conditions to guarantee the finite-time boundedness (in the sense of spatial L∞ norm) and mixed L₂-L∞/H∞ disturbance attenuation performance are established, and a new linear matrix inequality relax technique is introduced to deal with the strict constraint that is caused by the asynchronous phenomenon between plant and controller. Finally, two simulation studies are given to illustrate the effectiveness and advantages of the developed controller.

In this paper we develop a potential theory for strongly degenerate parabolic operators of the form L : = ∇ X ⋅ ( A ( X , Y , t ) ∇ X ) + X ⋅ ∇ Y − ∂ t , in unbounded domains of the form Ω = { ( X , Y , t ) = ( x , x m , y , y m , t ) ∈ R m − 1 × R × R m − 1 × R × R | x m > ψ ( x , y , y m , t ) } , where ψ is assumed to satisfy a uniform Lipschitz condition adapted to the dilation structure and the (non-Euclidean) Lie group underlying the operator L . Concerning A = A ( X , Y , t ) we assume that A is bounded, measurable, symmetric and uniformly elliptic (as a matrix in R m ). Beyond the solvability of the Dirichlet problem and other fundamental properties our results include scale and translation invariant boundary comparison principles, boundary Harnack inequalities and doubling properties of associated parabolic measures. All of our estimates are translation- and scale-invariant with constants only depending on the constants defining the boundedness and ellipticity of A and the Lipschitz constant of ψ. Our results represent a version, for operators of Kolmogorov type with bounded, measurable coefficients, of the by now classical results of Fabes and Safonov, and several others, concerning boundary estimates for uniformly parabolic equations in (time-dependent) Lipschitz type domains.

This article mainly solves the consensus issue of parabolic partial differential equation (PDE) agents with switching topology by output feedback. A novel edge-based adaptive control protocol is designed to reach consensus under the condition that the switching graphs are always connected at any switching instants. Different from the existing adaptive protocol associated with partial differential dynamics, the proposed adaptive observer-type law relies on the relative output information rather than relative state information. A proper Lyapunov functional is constructed and some important lemmas are used, then a sufficient condition is obtained for the consensus of parabolic PDE agents on switching graphs. Besides, a corollary about the distributed adaptive consensus of parabolic PDE agents on fixed undirected communication networks is given. Finally, the theoretical results are demonstrated by two numerical simulations.

We show a triviality result for "pointwise" monotone in time, bounded "eternal" solutions of the semilinear heat equation $ \begin{equation*} u_{t} = \Delta u + |u|^{p} \end{equation*} $ on complete Riemannian manifolds of dimension $ n \geq 5 $ with nonnegative Ricci tensor, when $ p $ is smaller than the critical Sobolev exponent $ \frac{n+2}{n-2} $.

This article investigates the issue of the fuzzy observer design for the semilinear parabolic partial differential equation (PDE) systems with mobile sensing measurements. Initially, we employ a Takagi-Sugeno (T-S) fuzzy PDE model to represent the semilinear parabolic PDE system accurately in a local region. Afterward, via the T-S fuzzy model and under the hypothesis that the spatial domain is divided by several subdomains in the light of the number of sensors, a state observation scheme which contains a fuzzy observer and the mobile sensor guidance is proposed. Then, by means of the Lyapunov direct method and integral inequalities, a design method of the fuzzy observer and mobile sensor guidance is provided to render the resulting state estimation error system exponentially stable, while the designed mobile sensor guidance can increase the exponential decay rate. Finally, numerical simulations are presented to show that the proposed fuzzy observer design approach is effective and the employment of mobile sensors contributes to improving the response speed of the state estimation error in comparison with the static ones.

In L2(Rd;Cn), we consider a wide class of matrix elliptic operators A of order 2p (where p2) with periodic rapidly oscillating coefficients (depending on x/). Here 0 is a small parameter. We study the behavior of the operator exponent e-A for 0 and small . We show that the operatore-A converges as 0 in the operator norm in L2(Rd;Cn) to the exponent e-A0 of the effective operator A0. Also we obtain an approximation of the operator exponent e-A in the norm of operators acting from L2(Rd;Cn) to the Sobolev space Hp(Rd; Cn). We derive estimates of errors of these approximations depending on two parameters: and . For a fixed 0 the errors have the exact order O(). We use the results to study the behavior of a solution of the Cauchy problem for the parabolic equation u(x,)= -(A u)(x,)+F(x,) in Rd.

An inverse problem of identifying the diffusion coefficient in matrix form in a parabolic PDE is considered. Following the idea of natural linearization, considered by Cao and Pereverzev (2006), the nonlinear inverse problem is transformed into a problem of solving an operator equation where the operator involved is linear. Solving the linear operator equation turns out to be an ill-posed problem. The method of Tikhonov regularization is employed for obtaining stable approximations and its finite-dimensional analysis is done based on the Galerkin method, for which an orthogonal projection on the space of matrices with entries from L 2 ⁢ ( Ω ) L^{2}(\Omega) is defined. Since the error estimates in Tikhonov regularization method rely heavily on the adjoint operator, an explicit representation of adjoint of the linear operator involved is obtained. For choosing the regularizing parameter, the adaptive technique is employed in order to obtain order optimal rate of convergence. For the relaxed noisy data, we describe a procedure for obtaining a smoothed version so as to obtain the error estimates. Numerical experiments are carried out for a few illustrative examples.

We study the property of extinction in a finite time for nonnegative solutions of 1 q ∂ ∂ t ( u q ) − ∇ ( | ∇ u | p − 2 ∇ u ) + a ( x ) u λ = 0 for the Dirichlet Boundary Conditions when q > λ > 0, p ⩾ 1 + q, p ⩾ 2, a ( x ) ⩾ 0 and Ω a bounded domain of R N ( N ⩾ 1). We prove some necessary and sufficient conditions. The threshold is for power functions when p > 1 + q while finite time extinction occurs for very flat potentials a ( x ) when p = 1 + q.

In the Cauchy problem L1u≡Lu+(b,∇u)+cu-ut=0,(x,t)∈D,u(x,0)=u0(x),x∈RN, for nondivergent parabolic equation with growing lower-order term in the half-space D=RN×[0,∞), N⩾3, we prove sufficient conditions for exponential stabilization rate of solution as t→+∞ uniformly with respect to x on any compact K in RN with any bounded and continuous in RN initial function u0(x).

We introduce the theory of random tensors, which naturally extends the method of random averaging operators in our earlier work (Deng et al. in: Invariant Gibbs measures and global strong solutions for 4009 nonlinear Schrodinger equations in dimension two, arXiv:1910.08492 ), to study the propagation of randomness under nonlinear dispersive equations. By applying this theory we establish almost-sure local well-posedness for semilinear Schrodinger equations in the full subcritical range relative to the probabilistic scaling (Theorem 1.1). The solution we construct has an explicit expansion in terms of multilinear Gaussians with adapted random tensor coefficients. As a byproduct we also obtain new results concerning regular data and long-time solutions, in particular Theorem 1.6, which provides long-time control for random homogeneous data, demonstrating the highly nontrivial fact that the first energy cascade happens at a much later time than in the deterministic setting. In the random setting, the probabilistic scaling is the natural scaling for dispersive equations, and is different from the natural scaling for parabolic equations. Our theory of random tensors can be viewed as the dispersive counterpart of the existing parabolic theories (regularity structures, para-controlled calculus and renormalization group techniques).

The present paper is devoted to the problem of stabilization of the one-dimensional semilinear heat equation with nonlocal initial conditions. The control is with boundary actuation. It is linear, of finite-dimensional structure, given in an explicit form. It allows to write the corresponding solution of the closed-loop equation in a mild formulation via a kernel, then to apply a fixed point argument in a convenient space.

We study Mean Field Games (MFGs) driven by a large class of nonlocal, fractional and anomalous diffusions in the whole space. These non-Gaussian diffusions are pure jump L\'evy processes with some $\sigma$-stable like behaviour. Included are $\sigma$-stable processes and fractional Laplace diffusion operators $(-\Delta)^{\frac{\sigma}2}$, tempered nonsymmetric processes in Finance, spectrally one-sided processes, and sums of subelliptic operators of different orders. Our main results are existence and uniqueness of classical solutions of MFG systems with nondegenerate diffusion operators of order $\sigma\in(1,2)$. We consider parabolic equations in the whole space with both local and nonlocal couplings. Our proofs uses pure PDE-methods and build on ideas of Lions et al. The new ingredients are fractional heat kernel estimates, regularity results for fractional Bellman, Fokker-Planck and coupled Mean Field Game equations, and a priori bounds and compactness of (very) weak solutions of fractional Fokker-Planck equations in the whole space. Our techniques requires no moment assumptions and uses a weaker topology than Wasserstein., Comment: Major update. A much larger class of anomalous diffusions, local coupling results are now complete, problems are posed in the whole space and not the compact torus. New equicontinuity, $L^1$, and $L^\infty$-results for the Fokker-planck equation are needed and proved by using pure PDE arguments. We now work in a more general metrics than Wasserstein

We study the Cauchy problem for the semilinear heat equation with the singular potential, called the Hardy-Sobolev parabolic equation, in the energy space. The aim of this paper is to determine a necessary and sufficient condition on initial data below or at the ground state, under which the behavior of solutions is completely dichotomized. More precisely, the solution exists globally in time and its energy decays to zero in time, or it blows up in finite or infinite time. The result on the dichotomy for the corresponding Dirichlet problem is also shown as a by-product via comparison principle., 49 pages

We obtain Calder\'on-Zygmund type estimates for parabolic equations with Orlicz growth, where nonlinearities involved in the equations may be discontinuous for the space and time variables. In addition, we consider parabolic systems with the Uhlenbeck structure., Comment: 19pages

In this paper, an efficient two-grid finite element algorithm is proposed for solving time-fractional nonlinear parabolic equations. We first obtain the stability and error estimates of the standard fully discrete L1 finite element method by using the Gronwall inequalities in L2 and H1 norms. Based on the standard method, we design the corresponding two-grid algorithm and analyze its stability and error estimates. It is shown that this algorithm is as stable as the standard fully discrete finite element algorithm, and can achieve the same accuracy as the standard algorithm if the coarse grid size H and the fine grid size h satisfy $H=O\left (h^{\frac {r-1}{r}}\right )(r\ge 1+\frac {d}{2},$ where d = 1,2,3). The theoretical results are illustrated by applying the proposed method to an numerical example.

We prove the continuity of bounded solutions for a wide class of parabolic equations with $(p,q)$-growth $$ u_{t}-{\rm div}\left(g(x,t,|\nabla u|)\,\frac{\nabla u}{|\nabla u|}\right)=0, $$ under the generalized non-logarithmic Zhikov's condition $$ g(x,t,{\rm v}/r)\leqslant c(K)\,g(y,\tau,{\rm v}/r), \quad (x,t), (y,\tau)\in Q_{r,r}(x_{0},t_{0}), \quad 0, Comment: 32 pages

This study considers the distributed estimation problem for nonlinear parabolic partial differential equation systems, and the main works include the following aspects: First, the investigated model of cooling fin related to a high-speed aerospace vehicle is reconstructed based on the Takagi–Sugeno fuzzy model by using the sector modeling approach. In addition, according to several sensor networks and a space sampling technique, some new distributed state estimators are designed. Furthermore, a multiple-channel scheduling scheme is introduced to adapt complex network communication environment (e.g., transmission lag and packet loss). Moreover, by integrating with the Lyapunov method and linear matrix inequality technique, several novel conditions that ensure the estimation error system’s stability and disturbance attenuation performance are established. Finally, simulation results are given to illustrate the validity of the developed estimator design approach.

In this article, we propose in-depth analysis and characterisation of the optimisers of the following optimisation problem: how to choose the initial condition u 0 in order to maximise the spatial integral at a given time of the solution of the semilinear equation u t −Δu = f(u), under L ∞ and L 1 constraints on u 0? Our contribution in the present paper is to give a characterisation of the behaviour of the optimiser u ¯ 0 when it does not saturate the L ∞ constraints, which is a key step in implementing efficient numerical algorithms. We give such a characterisation under mild regularity assumptions by proving that in that case u ¯ 0 can only take values in the ‘zone of concavity’ of f. This is done using two-scale asymptotic expansions. We then show how well-known isoperimetric inequalities yield a full characterisation of maximisers when f is convex. Finally, we provide several numerical simulations in one and two dimensions that illustrate and exemplify the fact that such characterisations significantly improve the computational time. All our theoretical results are in the one-dimensional case and we offer several comments about possible generalisations to other contexts, or obstructions that may prohibit doing so.

This paper concerns a nonlinear inverse stochastic parabolic partial differential equation. The source term of this problem consists branches of science and engineering, of known multiplicative noise. We study the existence of the quasi solution for this problem. Our suggested method to this approach is the minimization method based on the stochastic variational formulation. Moreover, we prove a stability estimation and continuity of minimization functional. In the proof procedure, we show that there is a compact subset of the admissible functions set. These results prove the existence of a quasi solution for the proposed problem.

This paper devotes to the existence of an N N -dimensional inertial manifold for a class of singularly, i.e. A ( t ) A(t) may degenerate to 0 0 at some time t t , non-autonomous parabolic equations ∂ t u + A ( t ) u = F ( t , u ) + g ( x , t ) , t > τ ; u | t = τ = u τ ( x ) , x ∈ Ω , \begin{equation*} \partial _{t}u+A(t)u=F(t,u)+g(x,t),\;t>\tau ;\; \; u|_{t=\tau }=u_{\tau }(x),\;x\in \Omega , \end{equation*} where A ( t ) ≥ 0 A(t)\geq 0 for any t ≥ τ t\geq \tau , and Ω ⊂ R d \Omega \subset \mathbb {R}^{d} is a bounded domain with smooth boundary. Since the operator A ( t ) A(t) may degenerate, a compatibility condition for the operator A ( t ) A(t) and the nonlinear term F ( t , u ) F(t,u) was proposed to construct the inertial manifolds.

We consider the first mixed problem for a certain class of anisotropic parabolic equations of the form $$ {\left(\beta \left(x,u\right)\right)}_t^{\prime }-\operatorname{div}\kern0.5em a\left(t,x,u,\nabla u\right)-b\left(t,x,u,\nabla u\right)=u $$ where μ is a measure and the coefficients contain nonpower nonlinearities in the cylindrical domain DT = (0, T)×Ω, where Ω ⊂ ℝn is a bounded domain. We prove the existence of a renormalized solution of the problem for gt = 0 and a function β(x, r), which increases with respect to r and satisfies the Carath´eodory condition.

This paper employs the observer-based output feedback control technique to deal with the problem of spatiotemporally asynchronous sampled-data control for a linear parabolic PDE on a hypercube. By ...

This article addresses dynamic exponential stabilization problem of a linear scalar parabolic partial differential equation (PDE) with multiple spatially piecewise control inputs and multiple sampled-data measurement outputs in time represented as state averages over spatially noncollocated local piecewise subdomains. A sampled-data-observer-based feedback controller is constructed to guarantee the exponential convergence of the resulting closed-loop PDE. By Lyapunov’s direct method with Poincare–Wirtinger inequality’s variants, a sufficient condition of the form linear matrix inequalities is derived for such observer-based feedback controller’s existence. This sufficient condition is extended for the case of spatially pointwise control. With the aid of semigroup theory, the closed-loop well-posedness analysis is carried out. The simulation results for a numerical example are provided to demonstrate the effectiveness of the proposed design method and its extension.

We continue our study of bounded solutions of the semilinear parabolic equation u t = u x x + f ( u ) on the real line, where f is a locally Lipschitz function on R . Assuming that the initial value u 0 = u ( ⋅ , 0 ) of the solution has finite limits θ ± as x → ± ∞ , our goal is to describe the asymptotic behavior of u ( x , t ) as t → ∞ . In a prior work, we showed that if the two limits are distinct, then the solution is quasiconvergent, that is, all its locally uniform limit profiles as t → ∞ are steady states. It is known that this result is not valid in general if the limits are equal: θ ± = θ 0 . In the present paper, we have a closer look at the equal-limits case. Under minor non-degeneracy assumptions on the nonlinearity, we show that the solution is quasiconvergent if either f ( θ 0 ) ≠ 0 , or f ( θ 0 ) = 0 and θ 0 is a stable equilibrium of the equation ξ ˙ = f ( ξ ) . If f ( θ 0 ) = 0 and θ 0 is an unstable equilibrium of the equation ξ ˙ = f ( ξ ) , we also prove some quasiconvergence theorem making (necessarily) additional assumptions on u 0 . A major ingredient of our proofs of the quasiconvergence theorems—and a result of independent interest—is the classification of entire solutions of a certain type as steady states and heteroclinic connections between two disjoint sets of steady states.

A description of a program for computation of acoustic fields in 3D shallow-water waveguides of arbitrary form is presented. This program is a C++ implementation of a numerical solver of wide-angle mode parabolic equations. The user can specify sound speed distribution, bottom relief, and the structure of bottom layers via configuration files when performing acoustic field simulation. The output of the program consists of one or several horizontal cut planes of the acoustic pressure field at specified depths. One of the main advantages of the implemented method is its high computational efficiency. The developed program is open-source and available online. It can be of interest for specialists in different areas of ocean acoustics who perform the modeling of sound propagation in course of the solution of various practical problems.

We study the dynamic behavior of a thermoelastic diffusion beam with rotational inertia and second sound, clamped at one end and free to move between two stops at the other. The contact with the stops is modeled with the normal compliance condition. The system, recently derived by Aouadi (2015), describes the behavior of thermoelastic diffusion thin plates under Cattaneo’s law for heat and mass diffusion transmission to remove the physical paradox of infinite propagation speeds of the classical Fourier’s and Fick’s laws. The system of equations is a coupling of a hyperbolic equation with four parabolic equations. It poses some new mathematical and numerical difficulties due to the lack of regularity and the nonlinear boundary conditions. The exponential stability of the solutions to the contact problem is obtained in the presence of rotational inertia thanks to a structural damping term. We propose a finite element approximation and we prove that the associated discrete energy decays to zero. Finally, we give an error estimate assuming extra regularity on the solution and we present some results of our numerical experiments.

The problem of the optimal control by a quadratic quality criterion of a general form for an uncontrolled Ito diffusion process and a linear controlled output is solved. Feedback control under the assumption of complete information is sought by the dynamic programming method. The Bellman function is represented as a quadratic form with respect to the output variable with coefficients that are nonlinear with respect to the state variable. The optimal control is formed by two terms: a linear output function and a nonlinear state function. The state-independent coefficients are determined by the matrix Riccati equation and the state-function coefficients are determined by a system of parabolic equations. The study of the properties of parabolic equations leads to a stochastic representation of the coefficients described by them in the form of a conditional mathematical expectation of the terminal state of some auxiliary stochastic system. This representation is provided by the Feynman–Katz formula. It is shown that in the particular case of linear drift, the optimal control is linear also in terms of the state, and the coefficients are determined by a system of ordinary differential equations. This case is illustrated by the Cox–Ingerson–Ross model and a numerical example for the response time of the TCP network protocol. Within the numerical experiment, a comparative analysis of the approximate solutions obtained by the traditional finite difference method and an alternative method based on the Feynman–Katz stochastic representation is carried out.

In this work, we develop a machine-learning-based predictive control design for nonlinear parabolic partial differential equation (PDE) systems using process state measurement time-series data. First, the Karhunen-Loeve expansion is used to derive dominant spatial empirical eigenfunctions of the nonlinear parabolic PDE system from the data. Then, these empirical eigenfunctions are used as basis functions within a Galerkin's model reduction framework to derive the temporal evolution of a small number of temporal modes capturing the dominant dynamics of the PDE system. Subsequently, feedforward neural networks (FNN) are used to approximate the reduced-order dominant dynamics of the parabolic PDE system from the data within a desired operating region. Lyapunov-based model predictive control (MPC) scheme using FNN models is developed to stabilize the nonlinear parabolic PDE system. Finally, a diffusion-reaction process example is used to demonstrate the effectiveness of the proposed machine-learning-based predictive control method.

We prove the controllability and the existence of the time optimal control for semilinear parabolic equations with the homogenous Neumann boundary condition via multiplicative controls. It is worth pointing out that there is no restriction on the growth of the nonlinearity f(s) with respect to the variable s in the equation, which is a remarkable difference compared to the semilinear parabolic system with additive locally distributed controls.

We study regularity properties of variational solutions to a class of Cauchy–Dirichlet problems of the form { ∂ t ⁡ u - div x ⁡ ( D ξ ⁢ f ⁢ ( D ⁢ u ) ) = 0 in ⁢ Ω T , u = u 0 on ⁢ ∂ 𝒫 ⁡ Ω T . \left\{\begin{aligned} \displaystyle\partial_{t}u-\operatorname{div}_{x}(D_{% \xi}f(Du))&\displaystyle=0&&\displaystyle\phantom{}\text{in }\Omega_{T},\\ \displaystyle u&\displaystyle=u_{0}&&\displaystyle\phantom{}\text{on }\partial% _{\mathcal{P}}\Omega_{T}.\end{aligned}\right. We do not impose any growth conditions from above on f : ℝ n → ℝ {f\colon\mathbb{R}^{n}\to\mathbb{R}} , but only require it to be convex and coercive. The domain Ω ⊂ ℝ n {\Omega\subset\mathbb{R}^{n}} is mainly supposed to be bounded and convex, and for the time-independent boundary datum u 0 : Ω ¯ → ℝ {u_{0}\colon\overline{\Omega}\to\mathbb{R}} we only require continuity. These requirements are weaker than a one-sided bounded slope condition. We prove global continuity of the unique variational solution u : Ω T → ℝ {u\colon\Omega_{T}\to\mathbb{R}} . If the boundary datum is Lipschitz continuous, we obtain global Hölder continuity of the solution.

In the presence of vacuum, the physical entropy for polytropic gases behaves singularly and it is thus a challenge to study its dynamics. It is shown in this paper that the boundedness of the entropy can be propagated up to any finite time provided that the initial vacuum presents only at far fields with sufficiently slow decay of the initial density. More precisely, for the Cauchy problem of the one dimensional heat conductive compressible Navier-Stokes equations, the global well-posedness of strong solutions and uniform boundedness of the corresponding entropy are established, as long as the initial density vanishes only at far fields with a rate no more than $O(\frac{1}{x^2})$. The main tools of proving the uniform boundedness of the entropy are some singularly weighted energy estimates carefully designed for the heat conductive compressible Navier-Stokes equations and an elaborate De Giorgi type iteration technique for some classes of degenerate parabolic equations. The De Giorgi type iterations are carried out to different equations in establishing the lower and upper bounds of the entropy.

This paper is devoted to discussing the blow-up problem of the positive solution of the following degenerate parabolic equations: ( r ( u ) ) t = div ( ∣ ∇ u ∣ p ∇ u ) + f ( x , t , u , ∣ ∇ u ∣ 2 ) , ( x , t ) ∈ D × ( 0 , T ∗ ) , ∂ u ∂ ν + σ u = 0 , ( x , t ) ∈ ∂ D × ( 0 , T ∗ ) , u ( x , 0 ) = u 0 ( x ) , x ∈ D ¯ . \left\{\begin{array}{ll}{(r\left(u))}_{t}={\rm{div}}(| \nabla u{| }^{p}\nabla u)+f\left(x,t,u,| \nabla u\hspace{-0.25em}{| }^{2}),& \left(x,t)\in D\times \left(0,{T}^{\ast }),\\ \frac{\partial u}{\partial \nu }+\sigma u=0,& \left(x,t)\in \partial D\times \left(0,{T}^{\ast }),\\ u\left(x,0)={u}_{0}\left(x),& x\in \overline{D}.\end{array}\right. Here p > 0 p\gt 0 , the spatial region D ⊂ R n ( n ≥ 2 ) D\subset {{\mathbb{R}}}^{n}\hspace{0.33em}\left(n\ge 2) is bounded, and its boundary ∂ D \partial D is smooth. We give the conditions that cause the positive solution of this degenerate parabolic problem to blow up. At the same time, for the positive blow-up solution of this problem, we also obtain an upper bound of the blow-up time and an upper estimate of the blow-up rate. We mainly carry out our research by means of maximum principles and first-order differential inequality technique.

We establish existence, uniqueness, and arbitrary order Sobolev regularity results for the second order parabolic equations with measurable coefficients defined on the conic domains D of the type (0.1) D ( M ) : = { x ∈ R d : x | x | ∈ M } , M ⊂ S d − 1 . We obtain the regularity results by using a system of mixed weights consisting of appropriate powers of the distance to the vertex and of the distance to the boundary. We also provide the sharp ranges of admissible powers of the distance to the vertex and to the boundary.

A finite volume method is applied to develop space-time discretizations for parabolic equations based on an equation error method.A space-time expansion of the local equation error based on flux integral formulation of the equation is first designed using a desiredframework of neighboring quadrature points for the solution and local source terms. The quadrature weights are then determined through aminimization process for the error which constitutes all local compact fluxes about each centroid within the computational domain.In utilizing a local source term distribution to account for diffusive fluxes, the right minimizing quadrature weights and collocationpoints including subgrid points for the source terms may be determined and optimized for higher accuracies as well as robust higher-ordercomputational convergence. The resulting local residuals form a more complete description of the truncation errors which are then utilizedto assess the computational performances of the resulting schemes. The effectiveness of the discretization method is demonstrated by theresults and analysis of the schemes.

In this work, we consider the problem of identifying the time independent source for full parabolic equations in $\mathbb{R}^n$ from noisy data. This is an ill-posed problem in the sense of Hadamard. To compensate the factor that causes the instability, a family of parametric regularization operators is introduced, where the rule to select the value of the regularization parameter is included. This rule, known as regularization parameter choice rule, depends on the data noise level and the degree of smoothness that it is assumed for the source. The proof for the stability and convergence of the regularization criteria is presented and a H\"older type bound is obtained for the estimation error. Numerical examples are included to illustrate the effectiveness of this regularization approach., Comment: 18 Pages, 7 Figures, 5 Tables

Stability estimates of Hölder type for weak solutions to backward one-dimensional semi-linear parabolic equations with locally Lipschitz source are obtained. It is noticed that stability results for weak solutions to nonlinear inverse problems are very rare in the literature.