Search Results (116)

In this paper, we investigate the spectrum distribution and asymptotic behavior of an M/$G^B$/1 bulk service queueing system. In this system, the server processes customers in batches of a fixed maximum capacity B, and the time required to serve a batch is governed by a general distribution with a service rate function $\eta (·)$, which determines the instantaneous probability of service completion. The system dynamics are described by an infinite set of partial integro-differential equations. First, by introducing the probability generating function and employing Greiner’s boundary perturbation method, we establish that the time-dependent solution (TDS) of the system converges strongly to its steady-state solution (SSS) in the natural Banach state space. To this end, when the service rate $\eta (·)$ is a bounded function, we prove that zero is an eigenvalue of both the system operator and its adjoint operator, with geometric multiplicity one. Moreover, we show that every point on the imaginary axis except zero belongs to the resolvent set of the system operator. Second, we analyze the spectrum of the system operator on the left real axis. When the service rate $\eta (·)$ is constant and the fixed maximum capacity B equals 2, we apply Jury’s stability criterion for cubic equations to demonstrate that the system operator possesses an uncountably infinite number of eigenvalues located on the negative real axis. Additionally, we prove that an open interval near zero on the left real axis is not part of the point spectrum of the system operator. Consequently, these results imply that the semigroup generated by the system operator is not compact, eventually compact, quasi-compact, or essentially compact. Full article

This paper develops a practical computational framework for the Bayesian Cournot model with bilateral incomplete cost information, where each player is uncertain about the opponent’s marginal cost, drawn from a continuous compact interval $[c_{*}, c^{*}]$ with $0<c_{*}<c^{*}<\infty$. The infinite dimensionality of the functional strategy spaces (mappings from types to production quantities) renders analytical closed-form solutions infeasible in this continuous-type setting. To overcome this challenge, we restrict the strategy spaces to finite-dimensional differentiable sub-manifolds—specifically, one-parameter families of oscillatory functions (cosine, sine, and mixed forms). After suitable affine Q-rescaling to map the oscillatory range into the production interval $[0, Q]$, and with parameter ranges satisfying $\alpha , \beta >(\pi /2)/c_{*}$, these curves ensure near-exhaustivity: the joint production map $(\alpha , \beta )\mapsto (x_{\alpha }\left(s\right), y_{\beta }\left(t\right))$ covers ${[0, Q]}^2$ densely for every fixed cost pair $(s, t)$, thereby recovering (up to density and closure) the full ex-post payoff space. We introduce the ex-post payoff mapping $\Phi (s, t, x, y)=(e_s(x, y)\left(t\right), f_t(x, y)\left(s\right))$, which collects every realizable payoff pair once nature draws the types and players select their strategies. The image of $\Phi$ defines the general payoff space of the game, and its non-dominated points constitute the general ex-post Pareto frontier—all efficient realized outcomes across type-strategy realizations, without dependence on private probability measures over types. Using multi-objective genetic algorithms, we numerically approximate this frontier (and selected collusive compromises) within the restricted but representative sub-manifolds. The resulting frontiers are computationally accessible, robust to parameter variations, and validated through hypervolume convergence, sensitivity analysis, and comparisons with NSGA-II, PSO and scalarization methods. The findings are significant because they provide decision-makers in oligopolistic markets (e.g., electric vehicles) with viable, implementable production policies that explore efficient trade-offs under genuine cost uncertainty, without requiring explicit forecasts of the opponent’s type distribution—a limitation of traditional expected-utility approaches. By focusing on ex-post efficiency, the method reveals belief-independent compromise solutions that may guide tacit coordination or collusive outcomes in real-world strategic settings. Full article

The well-known shooting algorithm has produced important results in solving various linear as well as nonlinear BVPs, defined on unbounded intervals, but has become obsolete. The main difficulty lies in the numerical handling of the domain’s infiniteness. This paper presents a three-step strategy that significantly improves the traditional truncation algorithm. It consists of Chebyshev collocation, implemented as Chebfun, in conjunction with rational AAA interpolation and analytic continuation. Furthermore, and more importantly, this approach enables us to provide a thorough analysis of both possible errors in dealing with and the hidden singularities of some BVPs of real interest. A singular second-order eigenvalue problem and a fourth-order nonlinear degenerate parabolic equation, all defined on the real axis, are considered. For the latter, Chebfun provides properties-preserving solutions. Travelling wave solutions are also studied. They are highly nonlinear BVPs. The problem arises from the analysis of thin viscous film flows down an inclined plane under the competing stress due to the surface tension gradients and gravity, a long-standing concern of ours. By extending the solutions to these problems in the complex plane, we observe that the complex poles do not influence their behaviour. On the other hand, the real ones involve singularities and indicate how long solutions can be extended through continuity. Full article

By using the $C_0$-semigroup theory, we study the asymptotic behavior of the time-dependent solution and the time-dependent indices of the ${\mathrm{M}}^{[\mathrm{X}]}/\mathrm{G}/1$ queuing model with feedback and optional server vacations based on a single vacation policy. This queuing model is described by infinitely many partial differential equations with integral boundary conditions in an unbounded interval. Under certain conditions, by studying spectrum of the underlying operator of this queuing model on the imaginary axis, we prove that the time-dependent solution of this queuing model strongly converges to its steady-state solution. Next, we prove that the time-dependent queuing length of this queuing system converges to its steady-state queuing length and the time-dependent waiting time of this queuing system converges to its steady-state waiting time as time tends to infinity. Our results extend the steady-state results of this queuing system. Full article

This paper investigates a coupled system of Hadamard fractional p-Laplacian differential equations defined on an unbounded interval, subject to infinitely many points boundary conditions and formulated under a resonance framework. Under suitable growth assumptions imposed on the nonlinear terms of the system, the existence of solutions is established by means of the Ge–Mawhin’s continuation theorem. Moreover, an example is constructed to demonstrate the applicability of the main results. Full article

As information plays an ever more central role across disciplines, the lack of a precise and reusable definition of state impedes comparison, measurement, and verification. Building on Objective Information Theory (OIT), this paper proposes a logic-based framework that defines the state of an object or system at a time point (or interval) as the semantic valuation of a set of well-formed formulas over a given domain and interpretation. Within first-order and higher-order logic—extended to infinitary logic when needed—we show how finite and broad classes of infinite structures can be characterized, drawing on core results from model theory. We then instantiate the framework in economics, sociology, computer science, and natural language, demonstrating that logic provides a unifying language for representing, reasoning about, and relating states across domains. Finally, we refine OIT by supplying a universal state representation that supports cross-domain exchange, measurement, and verification. Full article

We study a nonlinear fractional differential equation, defined on a finite and infinite interval. In the finite interval setting, we attach initial conditions and parameter-dependent boundary conditions to the problem. We apply a dichotomy approach, coupled with the numerical-analytic method, to analyze the problem and to construct a sequence of approximations. Additionally, we study the existence of bounded solutions in the case when the fractional differential equation is defined on the half-axis and is subject to asymptotic conditions. Our theoretical results are applied to the Arctic gyre equation in the fractional setting on a finite interval. Full article

Time-frequency analysis (TFA) technology is an important tool for analyzing non-Gaussian mechanical fault vibration signals. In the complex background of infinite variance process noise and Gaussian colored noise, it is difficult for traditional methods to obtain the highly concentrated time-frequency representation (TFR) of fault vibration signals. Based on the insensitive property of fractional low-order statistics for infinite variance and Gaussian processes, robust fractional lower order adaptive linear chirplet transform (FLOACT) and fractional lower order adaptive scaling chirplet transform (FLOASCT) methods are proposed to suppress the mixed complex noise in this paper. The calculation steps and processes of the algorithms are summarized and deduced in detail. The experimental simulation results show that the improved FLOACT and FLOASCT methods have good effects on multi-component signals with short frequency intervals in the time-frequency domain and even cross-frequency trajectories in the strong impulse background noise environment. Finally, the proposed methods are applied to the feature analysis and extraction of the mechanical outer race fault vibration signals in complex background environments, and the results show that they have good estimation accuracy and effectiveness in lower MSNR, which indicate their robustness and adaptability. Full article

This paper employs direct numerical simulation (DNS) to investigate the influence of blowing and suction control on the compressible fully developed turbulent flow within an infinitely long channel. The spanwise blowing strips are positioned at uniform intervals along the bottom wall of the channel, while the suction strips are symmetrically placed on the top wall. The basic flow (uncontrolled case) and the controlled cases involving global control and interval control are compared at $Ma=0.8$ and 1.5. Although the wall mass flow rate remains constant across all controlled cases, the applied blowing/suction intensity and spanwise strip areas exhibit significant variations. The numerical results indicate that augmenting the blowing/suction intensity will alter the velocity gradient of the viscous sublayer in the controlled region. Nonetheless, a reduction in the area of the controlled region diminishes the impact of blowing/suction on drag reduction on the entire wall. The spatially averaged velocity profiles on the wall for cases with identical wall mass flow rates are nearly indistinguishable, suggesting that the wall mass flow rate is the primary factor influencing the spatially averaged drag reduction rate on the entire wall, rather than the blowing/suction intensity or the injected energy. This is because the wall mass flow rate influences the average peak position of the Reynolds stress, which, in turn, affects the skin friction drag. An increase in the wall mass flow rate correlates with a heightened drag reduction rate on the blowing side, while simultaneously leading to a rising drag increase rate on the suction side. Full article

This paper addresses the existence of solutions to a Hadamard fractional differential equation of arbitrary order on an infinite interval, subject to integral boundary conditions that incorporate both Riemann–Stieltjes integrals and Hadamard fractional derivatives. Due to the presence of nontrivial solutions in the associated homogeneous boundary value problem, the problem is classified as resonant. The Mawhin continuation theorem is utilized to derive the main findings. Full article

In this paper, we investigate efficient numerical methods for highly oscillatory integrals with Bessel function kernels over finite and infinite domains. Initially, we decompose the two types of integrals into the sum of two integrals. For one of these integrals, we reformulate the Bessel function $J_{\nu }(z)$ as a linear combination of the modified Bessel function of the second kind $K_{\nu }(z)$, subsequently transforming it into a line integral over an infinite interval on the complex plane. This transformation allows for efficient approximation using the Cauchy residue theorem and appropriate Gaussian quadrature rules. For the other integral, we achieve efficient computation by integrating special functions with Gaussian quadrature rules. Furthermore, we conduct an error analysis of the proposed methods and validate their effectiveness through numerical experiments. The proposed methods are applicable for any real number $\nu$ and require only the first $\lfloor \nu \rfloor$ derivatives of f at 0, rendering them more efficient than existing methods that typically necessitate higher-order derivatives. Full article

The paper advances a new technique for constructing the exceptional differential polynomial systems (X-DPSs) and their infinite and finite orthogonal subsets. First, using Wronskians of Jacobi polynomials (JPWs) with a common pair of the indexes, we generate the Darboux–Crum nets of the rational canonical Sturm–Liouville equations (RCSLEs). It is shown that each RCSLE in question has four infinite sequences of quasi-rational solutions (q-RSs) such that their polynomial components from each sequence form a X-Jacobi DPS composed of simple pseudo-Wronskian polynomials (p-WPs). For each p-th order rational Darboux Crum transform of the Jacobi-reference (JRef) CSLE, used as the starting point, we formulate two rational Sturm–Liouville problems (RSLPs) by imposing the Dirichlet boundary conditions on the solutions of the so-called ‘prime’ SLE (p-SLE) at the ends of the intervals (−1, +1) or (+1, ∞). Finally, we demonstrate that the polynomial components of the q-RSs representing the eigenfunctions of these two problems have the form of simple p-WPs composed of p Romanovski–Jacobi (R-Jacobi) polynomials with the same pair of indexes and a single classical Jacobi polynomial, or, accordingly, p classical Jacobi polynomials with the same pair of positive indexes and a single R-Jacobi polynomial. The common, fundamentally important feature of all the simple p-WPs involved is that they do not vanish at the finite singular endpoints—the main reason why they were selected for the current analysis in the first place. The discussion is accompanied by a sketch of the one-dimensional quantum-mechanical problems exactly solvable by the aforementioned infinite and finite EOP sequences. Full article

The paper presents the united analysis of the finite exceptional orthogonal polynomial (EOP) sequences composed of rational Darboux transforms of Romanovski-Jacobi polynomials. It is shown that there are four distinguished exceptional differential polynomial systems (X-Jacobi DPSs) of series J1, J2, J3, and W. The first three X-DPSs formed by pseudo-Wronskians of two Jacobi polynomials contain both exceptional orthogonal polynomial systems (X-Jacobi OPSs) on the interval (−1, +1) and the finite EOP sequences on the positive interval (1, ∞). On the contrary, the X-DPS of series W formed by Wronskians of two Jacobi polynomials contains only (infinitely many) finite EOP sequences on the interval (1, ∞). In addition, the paper rigorously examines the three isospectral families of the associated Liouville potentials (rationally extended hyperbolic Pöschl-Teller potentials of types a, b, and a′) exactly quantized by the EOPs in question. Full article

In this paper, we present an original numerical method for the solution of a Blasius problem with extended boundary conditions. To this end, we extend to the proposed problem the non-iterative transformation method, proposed by Töpfer more than a century ago and defined for the numerical solution of the Blasius problem. The proposed method, which makes use of the invariance of two physical parameters with respect to an extended scaling group of point transformations, allows us to solve the Blasius problem numerically with extended boundary conditions by solving a related initial value problem and then rescaling the obtained numerical solution. Therefore, our method is an initial value method. However, in this way, we cannot fix the values of the physical parameters in advance, and if we just need to compute the numerical solution for given values of the two parameters, we have to define an iterative extension of the transformation method. Thus, in this paper, for the problem under study, we define a non-ITM and an ITM based on Lie groups scaling invariance theory. Full article