Right-hand Side Research Articles

ON THE EXISTENCE OF OPTIMAL CONTROL FOR A SEMILINEAR EVOLUTION EQUATION WITH AN UNBOUNDED OPERATOR

The paper studies the problem of optimal control for an abstract firstorder semilinear differential equation in a Hilbert space, with an unbounded operator and a control linearly entering the righthand side. The objective functional is assumed to be additively separable with respect to the state and control, with a fairly general dependence on the state. A theorem on the existence of an optimal control is proved for this problem, and properties of the set of optimal controls are established. Due to the nonlinearity of the equation under study, the author further develops previous results on total preservation of unique global solvability and solution estimates for similar equations. This estimate proves essential for the investigation. As examples, a nonlinear heat conduction equation and a nonlinear wave equation are considered.

Fast Iterative Solution of Multiple Right-Hand Sides MoM Linear Systems on CPUs and GPUs Computers

Fast Iterative Solution of Multiple Right-Hand Sides MoM Linear Systems on CPUs and GPUs Computers

Survey on A Smart Medical System on Drug Analysis using ML Algorithms

Online health communities continue to offer huge variety of medical information useful for medical practitioners, system administrators and patients alike. In this system we collect real time health posts from reputed websites, where patients express their views, including their experiences and side-effects on drugs used by them. We propose to perform Summarization of user posts per drug, and come out with useful conclusions for medical fraternity as well as patient community at a glance. Further, we propose to classify the users based on their ‘emotional state of mind’. Also, we shall perform knowledge discovery from user posts, whereby useful ‘patterns’ about the triad ‘drugs-symptoms-medicine’ is done by Association Rule Mining. Association rule mining is a popular and widely-known machine learning task. It is used to find out interesting relations between variables in large database. Rules generated by association have two disjoint set of items having form LHS (Left Hand Side) => RHS (Right Hand Side). The rule says that RHS is likely to occur whenever the LHS set occurs.

Dispersion and migration characteristics of multisource respirable dust in development panels during tunnelling processes

Underground miners in Australia are facing continued threats from dust-related diseases. To address these issues, improved knowledge of airflow migration patterns and respirable dust dispersion characteristics within a continuous-miner-driven heading under an exhausting ventilation system is required. Based on site-specific conditions of a development heading in New South Wales, a three-dimensional computational fluid dynamics (CFD) model was constructed and validated with onsite dust monitoring data, where a good agreement was achieved. Three scenarios of coal cutting at the middle, floor and roof positions were considered and simulated, with dust generated at four different sources. The simulation results indicated that the operators on the left-hand-side (LHS) with the extraction duct should be equipped with fit-for-purpose personal protective equipment and stay behind the ventilation duct inlet during coal cutting process, while miners standing at the right-hand-side (RHS) of the continuous miner for roof and rib bolting and machine operating should stay immediately behind the roof and rib bolting rig where dust concentration is relatively low. In addition, an increase in airflow rate through the exhausting ventilation duct or a reduction in the distance from the duct inlet to the heading face assisted in reducing dust levels within the heading, particularly at the LHS of the continuous miners. Finally, compared to the scenario of the current ventilation scheme, an on-board exhausting ventilation system could improve dust removal performance, with dust concentration at the breathing level reducing by approximately 43.6%. This modelling study can advance the understanding of multi-source dust diffusion characteristics in the heading face and provide guidance on dust mitigation, thus improving the health and safety of miners and creating a cleaner underground working environment.

An Efficient Local Artificial Boundary Condition for Infinite Long Finite Element Euler–Bernoulli Beam

To solve the wave propagation problems of the Euler–Bernoulli beam in an unbounded domain effectively and efficiently, a new local artificial boundary condition technology is proposed. It replaces the residual right-hand side of the truncated discrete equation with an equivalent linear algebraic system. First, the equivalent Schrodinger equation is discussed. Its artificial boundary condition is obtained by first rationalizing the Dirichlet-to-Neumann condition in the frequency domain with a Pade approximation and then inverse transforming each Pade term back into the time domain by introducing auxiliary degrees of freedom. Frequency shifting is employed such that it performs better near a prescribed frequency. Then, the artificial boundary condition of the finite element Euler–Bernoulli beam is obtained by simple algebraic manipulations on that of the corresponding Schrodinger equation. This method only makes local changes to the original truncated discrete dynamic system and thus is very efficient and easy to use. The accuracy of the proposed method can be improved by using more Pade terms and a proper shift frequency. The numerical example shows, with only a few additional degrees of freedom, the proposed artificial boundary condition effectively eliminates the spurious reflection. The idea of the proposed method can also be used in other dispersive wave systems.

Investigation of conditions for preserving global solvability of operator equations by means of comparison systems in the form of functional-integral equations in $\mathbf{C}[0;T

Let $U$ be the set of admissible controls, $T>0$ and it be given a scale of Banach spaces $W[0;\tau]$, $\tau\in(0;T]$, such that the set of constrictions of functions from $W=W[0;T]$ to a closed segment $[0;\tau]$ coincides with $W[0;\tau]$; $F[\cdot;u]\colon W\to W$ be a controlled Volterra operator, $u\in U$. For the operator equation $x=F[x;u]$, $x\in W$, we introduce a comparison system in the form of functional-integral equation in the space $\mathbf{C}[0;T]$. We establish that, under some natural hypotheses on the operator $F$, the preservation of the global solvability of the comparison system pointed above is sufficient to preserve (under small perturbations of the right-hand side) the global solvability of the operator equation. This fact itself is analogous to some results which were obtained by the author earlier. The central result of the paper consists in a set of signs for stable global solvability of functional-integral equations mentioned above which do not use hypotheses similar to local Lipschitz continuity of the right-hand side. As a pithy example of special interest, we consider a nonlinear nonstationary Navier–Stokes system in the space $\mathbb{R}^3$.

Asymmetry of the Distribution of Vertical Velocities of the Extratropical Atmosphere in Theory, Models, and Reanalysis

Abstract The vertical velocity distribution in the atmosphere is asymmetric with stronger upward than downward motion. This asymmetry is important for the distribution of precipitation and its extremes and for an effective static stability that has been used to represent the effects of latent heating on extratropical eddies. Idealized GCM simulations show that the asymmetry increases as the climate warms, but current moist dynamical theories based around small-amplitude modes greatly overestimate the increase in asymmetry with warming found in the simulations. Here, we first analyze the changes in asymmetry with warming using numerical inversions of a moist quasigeostrophic omega equation applied to output from the idealized GCM. The inversions show that increases in the asymmetry with warming in the GCM simulations are primarily related to decreases in moist static stability on the left-hand side of the moist omega equation, whereas the dynamical forcing on the right-hand side of the omega equation is unskewed and contributes little to the asymmetry of the vertical velocity distribution. By contrast, increases in asymmetry with warming for small-amplitude modes are related to changes in both moist static stability and dynamical forcing leading to enhanced asymmetry in warm climates. We distill these insights into a toy model of the moist omega equation that is solved for a given moist static stability and wavenumber of the dynamical forcing. In comparison to modal theory, the toy model better reproduces the slow increase of the asymmetry with climate warming in the idealized GCM simulations and over the seasonal cycle from winter to summer in reanalysis. Significance Statement Upward velocities are stronger than downward velocities in the atmosphere, and this asymmetry is important for the distribution of precipitation because precipitation is linked to upward motion. An important and open question is what sets this asymmetry and how much it increases as the climate warms. Past work has shown that current theories greatly overestimate the increase in asymmetry with warming in idealized simulations. In this work, we develop a more complete theory and show that it is able to better reproduce the slow increase of the asymmetry with warming that is found over the seasonal cycle from winter to summer and in idealized simulations of warming climates.

A DEIM Tucker tensor cross algorithm and its application to dynamical low-rank approximation

We introduce a Tucker tensor cross approximation method that constructs a low-rank representation of a d-dimensional tensor by sparsely sampling its fibers. These fibers are selected using the discrete empirical interpolation method (DEIM). Our proposed algorithm is referred to as DEIM fiber sampling (DEIM-FS). For a rank-r approximation of an O(Nd) tensor, DEIM-FS requires access to only dNrd−1 tensor entries, a requirement that scales linearly with the tensor size along each mode. We demonstrate that DEIM-FS achieves an approximation accuracy close to the Tucker-tensor approximation obtained via higher-order singular value decomposition at a significantly reduced cost. We also present DEIM-FS (iterative) that does not require access to singular vectors of the target tensor unfolding and can be viewed as a black-box Tucker tensor algorithm. We employ DEIM-FS to reduce the computational cost associated with solving nonlinear tensor differential equations (TDEs) using dynamical low-rank approximation (DLRA). The computational cost of solving DLRA equations can become prohibitive when the exact rank of the right-hand side tensor is large. This issue arises in many TDEs, especially in cases involving non-polynomial nonlinearities, where the right-hand side tensor has full rank. This necessitates the storage and computation of tensors of size O(Nd). We show that DEIM-FS results in significant computational savings for DLRA by constructing a low-rank Tucker approximation of the right-hand side tensor on the fly. Another advantage of using DEIM-FS is to significantly simplify the implementation of DLRA equations, irrespective of the type of TDEs. We demonstrate the efficiency of the algorithm through several examples including solving high-dimensional partial differential equations.

Higher-Order Finite Element Methods for the Nonlinear Helmholtz Equation

In this work, we analyze the finite element method with arbitrary but fixed polynomial degree for the nonlinear Helmholtz equation with impedance boundary conditions. We show well-posedness and error estimates of the finite element solution under a resolution condition between the wave number k, the mesh size h and the polynomial degree p of the form “k(kh)p+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$k(kh)^{p+1}$$\\end{document} sufficiently small” and a so-called smallness of the data assumption. For the latter, we prove that the logarithmic dependence in h from the case p=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p=1$$\\end{document} in Wu and Zou (SIAM J Numer Anal 56(3):1338–1359, 2018) can be removed for p≥2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$p\\ge 2$$\\end{document}. We show convergence of two different fixed-point iteration schemes. Numerical experiments illustrate our theoretical results and compare the robustness of the iteration schemes with respect to the size of the nonlinearity and the right-hand side data.

Convex approximations of two-stage risk-averse mixed-integer recourse models

AbstractWe consider two-stage risk-averse mixed-integer recourse models with law invariant coherent risk measures. As in the risk-neutral case, these models are generally non-convex as a result of the integer restrictions on the second-stage decision variables and hence, hard to solve. To overcome this issue, we propose a convex approximation approach. We derive a performance guarantee for this approximation in the form of an asymptotic error bound, which depends on the choice of risk measure. This error bound, which extends an existing error bound for the conditional value at risk, shows that our approximation method works particularly well if the distribution of the random parameters in the model is highly dispersed. For special cases we derive tighter, non-asymptotic error bounds. Whereas our error bounds are valid only for a continuously distributed second-stage right-hand side vector, practical optimization methods often require discrete distributions. In this context, we show that our error bounds provide statistical error bounds for the corresponding (discretized) sample average approximation (SAA) model. In addition, we construct a Benders’ decomposition algorithm that uses our convex approximations in an SAA-framework and we provide a performance guarantee for the resulting algorithm solution. Finally, we perform numerical experiments which show that for certain risk measures our approach works even better than our theoretical performance guarantees suggest.

Feasibility problems via paramonotone operators in a convex setting

This paper is focussed on some properties of paramonotone operators on Banach spaces and their application to certain feasibility problems for convex sets in a Hilbert space and convex systems in the Euclidean space. In particular, it shows that operators that are simultaneously paramonotone and bimonotone are constant on their domains, and this fact is applied to tackle two particular situations. The first one, closely related to simultaneous projections, deals with a finite amount of convex sets with an empty intersection and tackles the problem of finding the smallest perturbations (in the sense of translations) of these sets to reach a nonempty intersection. The second is focussed on the distance to feasibility; specifically, given an inconsistent convex inequality system, our goal is to compute/estimate the smallest right-hand side perturbations that reach feasibility. We advance that this work derives lower and upper estimates of such a distance, which become the exact value when confined to linear systems.

High order conservative Lagrangian schemes for two-dimensional radiation hydrodynamics equations in the equilibrium-diffusion limit

Radiation hydrodynamics equations (RHE) refer to the study of how interactions between radiation and matter influence thermodynamic states and dynamic flow, which has been widely applied to high temperature hydrodynamics, such as inertial confinement fusion (ICF) and astrophysical gaseous stars. Solving RHE accurately and robustly even under the equilibrium diffusion approximation is a challenging task. To address this, we develop two types of high order conservative Lagrangian schemes for RHE in the equilibrium-diffusion limit for the two dimensional case on the Lagrangian moving mesh. Based on the multi-resolution WENO reconstruction for the spatial discretization and strong stability preserving Runge-Kutta (SSP-RK) time discretization, we first develop an explicit Lagrangian scheme with the HLLC numerical flux to achieve high order accuracy in space and time. We also discuss the positivity-preserving property of the high order explicit Lagrangian scheme. To overcome the severe time step restriction arising from the nonlinear radiation diffusion term in the explicit scheme, we further present a high order explicit-implicit-null (EIN) Lagrangian scheme. By adding a sufficiently large linear diffusion term on both sides of the scheme, we treat the complicated nonlinear parts explicitly and efficiently, and treat the added linear diffusion term on the right-hand side implicitly with a relaxed time step restriction. According to our numerical experiments, these two types of Lagrangian schemes are high order accurate, conservative and can capture the interfaces automatically. Additionally, the explicit scheme is found to be non-oscillatory and can preserve positivity while maintaining the original high order accuracy.

Математичні моделі локального нагрівання елементів електронних пристроїв

Linear and non-linear mathematical models for the determination of the temperature field, and subsequently for the analysis of temperature regimes in isotropic spatial heat-active media sub-jected to internal and external local heat load, have been developed. In the case of nonlinear boundary-value problems, the Kirchhoff transformation was applied, using which the original nonlinear heat conduction equations and nonlinear boundary conditions were linearized, and as a result, linearized second-order differential equations with partial derivatives and a discontinu-ous right-hand side and partially linearized boundary conditions were obtained. For the final linearization of the partially linearized differential equation and boundary conditions, the ap-proximation of the temperature according to one of the spatial coordinates on the boundary sur-faces of the inclusion was performed by piecewise constant functions. To solve linear bounda-ry-value problems, as well as obtained linearized boundary-value problems with respect to the Kirchhoff transformation, the Henkel integral transformation method was used, as a result of which analytical solutions of these problems were obtained. For a heat-sensitive environment, as an example, a linear dependence of the coefficient of thermal conductivity of the structural material of the structure on temperature, which is often used in many practical problems, was chosen. As a result, analytical relations for determining the temperature distribution in this envi-ronment were obtained. Numerical analysis of temperature behavior as a function of spatial co-ordinates for given values of geometric and thermophysical parameters was performed. The in-fluence of the power of internal heat sources and environmental materials on the temperature distribution was studied. To determine the numerical values of the temperature in the given structure, as well as to analyze the heat exchange processes in the middle of these structures, caused by the internal and external heat load, software tools were developed, using which a ge-ometric image of the temperature distribution depending on the spatial coordinates was made.

A non-local scalar field problem: existence, multiplicity and asymptotic behavior

The main purpose of this work is to study a non-local scalar field equation in bounded domains. More precisely we consider the semi-linear fractional elliptic problem: 0 \\hbox{ in } \\Omega, \\hbox{ and } u= 0 \\hbox{ in }\\mathbb{R}^N\\setminus \\Omega,\\] ]]> ( − Δ ) s u = λ u p − 1 − u m − 1 in Ω , u > 0 in Ω , and u = 0 in R N ∖ Ω , where Ω is a regular bounded domain of R N , m>p>2 and 0 $ ]]> λ > 0 . We discuss the existence, non-existence, and multiplicity of solutions, for the largest possible range of the parameters λ , p , m . Optimal results are obtained in the sub-critical and critical regimes, and partial results are obtained in the super-critical case. Furthermore, a careful asymptotic analysis when m tends to ∞ will be provided and we identify the limiting profiles as solutions to a free boundary type problem with a nonlinear right-hand side.

Modelling EEG Dynamics with Brain Sources

An electroencephalogram (EEG), recorded on the surface of the scalp, serves to characterize the distribution of electric potential during brain activity. This method finds extensive application in investigating brain functioning and diagnosing various diseases. Event-related potential (ERP) is employed to delineate visual, motor, and other activities through cross-trial averages. Despite its utility, interpreting the spatiotemporal dynamics in EEG data poses challenges, as they are inherently subject-specific and highly variable, particularly at the level of individual trials. Conventionally associated with oscillating brain sources, these dynamics raise questions regarding how these oscillations give rise to the observed dynamical regimes on the brain surface. In this study, we propose a model for spatiotemporal dynamics in EEG data using the Poisson equation, with the right-hand side corresponding to the oscillating brain sources. Through our analysis, we identify primary dynamical regimes based on factors such as the number of sources, their frequencies, and phases. Our numerical simulations, conducted in both 2D and 3D, revealed the presence of standing waves, rotating patterns, and symmetric regimes, mirroring observations in EEG data recorded during picture naming experiments. Notably, moving waves, indicative of spatial displacement in the potential distribution, manifested in the vicinity of brain sources, as was evident in both the simulations and experimental data. In summary, our findings support the conclusion that the brain source model aptly describes the spatiotemporal dynamics observed in EEG data.

Designing tractable piecewise affine policies for multi-stage adjustable robust optimization

AbstractWe study piecewise affine policies for multi-stage adjustable robust optimization (ARO) problems with non-negative right-hand side uncertainty. First, we construct new dominating uncertainty sets and show how a multi-stage ARO problem can be solved efficiently with a linear program when uncertainty is replaced by these new sets. We then demonstrate how solutions for this alternative problem can be transformed into solutions for the original problem. By carefully choosing the dominating sets, we prove strong approximation bounds for our policies and extend many previously best-known bounds for the two-staged problem variant to its multi-stage counterpart. Moreover, the new bounds are—to the best of our knowledge—the first bounds shown for the general multi-stage ARO problem considered. We extensively compare our policies to other policies from the literature and prove relative performance guarantees. In two numerical experiments, we identify beneficial and disadvantageous properties for different policies and present effective adjustments to tackle the most critical disadvantages of our policies. Overall, the experiments show that our piecewise affine policies can be computed by orders of magnitude faster than affine policies, while often yielding comparable or even better results.

On multiple solutions of the Grad–Shafranov equation

The Grad–Shafranov equation (GSE) for axisymmetric MHD equilibria is a nonlinear, scalar PDE which in principle can have zero, one or more non-trivial solutions. The conditions for the existence of multiple solutions has been little explored in the literature so far. We develop a simple analytic model to calculate multiple solutions in the large aspect ratio limit. We compare the results to the recently developed deflated continuation method to find multiple solutions in a realistic geometry and right-hand side of the GSE using the finite element method. The analytic model is surprisingly accurate in calculating multiple solutions of the GSE for given boundary conditions and the two methods agree well in limiting cases. We examine the effect of plasma shaping and aspect ratio on the multiple solutions and show that shaping generally does not alter the number of solutions. We discuss implications for predictive modelling, equilibrium reconstruction, plasma stability and disruptions.

A non-intrusive bi-fidelity reduced basis method for time-independent problems

Scientific and engineering problems often involve parametric partial differential equations (PDEs), such as uncertainty quantification, optimizations, and inverse problems. However, solving these PDEs repeatedly can be prohibitively expensive, especially for large-scale complex applications. To address this issue, reduced order modeling (ROM) has emerged as an effective method to reduce computational costs. However, ROM often requires significant modifications to the existing code, which can be time-consuming and complex, particularly for large-scale legacy codes. Non-intrusive methods have gained attention as an alternative approach. However, most existing non-intrusive approaches are purely data-driven and may not respect the underlying physics laws during the online stage, resulting in less accurate approximations of the reduced solution. In this study, we propose a new non-intrusive bi-fidelity reduced basis method for time-independent parametric PDEs. Our algorithm utilizes the discrete operator, solutions, and right-hand sides obtained from the high-fidelity legacy solver. By leveraging a low-fidelity model, we efficiently construct the reduced operator and right-hand side for new parameter values during the online stage. Unlike other non-intrusive ROM methods, we enforce the reduced equation during the online stage. In addition, the non-intrusive nature of our algorithm makes it straightforward and applicable to general nonlinear time-independent problems. We demonstrate its performance through several benchmark examples, including nonlinear and multiscale PDEs.

A second-order nonstandard finite difference method for a general Rosenzweig–MacArthur predator–prey model

In this paper, we consider a general Rosenzweig–MacArthur predator–prey model with logistic intrinsic growth of the prey population. We develop the Mickens’ method to construct a dynamically consistent second-order nonstandard finite difference (NSFD) scheme for the general Rosenzweig–MacArthur predator–prey model. The second-order NSFD method is based on a novel nonlocal approximation using right-hand side function weights and nonstandard denominator functions.Through rigorous mathematical analysis, we show that the NSFD method not only preserves two important and prominent dynamical properties of the continuous-time model, namely positivity and asymptotic stability independent of the values of the step size, but also is convergent of order 2. Therefore, it provides a solution to the contradiction between the dynamic consistency and high-order accuracy of NSFD methods.The proposed NSFD method improves positive and elementary stable nonstandard numerical schemes constructed in a previous work of Dimitrov and Kojouharov (2006). Moreover, the present approach can be extended to construct second-order NSFD methods for some classes of nonlinear dynamical systems.Finally, the theoretical insights and advantages of the constructed NSFD scheme are supported by some illustrative numerical simulations.

Multiple sign-changing solutions for superlinear (p,q)-equations in symmetrical expanding domains

In this paper we study quasilinear elliptic equations defined on symmetrical expanding domains driven by the (p,q)-Laplacian and with a superlinear right-hand side. Based on the Lusternik-Schnirelmann category we prove the existence of at least γ(Ωλ∖{0}) pairs (±u) of odd weak solutions with precisely two nodal domains, where γ stands for the genus.