• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.1
• /
• pp.139-146
• /
• 2008

We investigate the uniqueness and multiplicity of solutions for the nonlinear elliptic system with Dirichlet boundary condition $$\{-{\Delta}u+g_1(u,v)=f_1(x){\text{ in }}{\Omega},\\-{\Delta}v+g_2(u,v)=f_2(x){\text{ in }}{\Omega},$$ where ${\Omega}$ is a bounded set in $R^n$ with smooth boundary ${\partial}{\Omega}$. Here $g_1$, $g_2$ are nonlinear functions of u, v and $f_1$, $f_2$ are source terms.

• Korean Journal of Mathematics
• /
• v.30 no.4
• /
• pp.571-592
• /
• 2022

By established a Banach space with the Hausdorff distance, we introduce the alternative fixed-point theorem to explore the existence and uniqueness of a fixed subset of Y and investigate the stability of set-valued Euler-Lagrange functional equations in this space. Some properties of the Hausdorff distance are furthermore explored by a short and simple way.

• East Asian mathematical journal
• /
• v.39 no.5
• /
• pp.515-522
• /
• 2023

In the case that the set of sorts is countable, we will prove that any sorted profinite group has the unique SEP-cover using the notion of prime model in model theory.

• Journal of applied mathematics & informatics
• /
• v.9 no.1
• /
• pp.213-230
• /
• 2002

We deal with the approximate controllability for semilinear systems with time delay in a Hilbert space. First, we show the existence and uniqueness of solutions of the given systems with the mere general Lipschitz continuity of nonlinear operator f from $R\;\times\;V$ to H. Thereafter, it is shown that the equivalence between the reachable set of the semilinear system and that of its corresponding linear system. Finally, we make a practical application of the conditions to the system with only discrete delay.

• Journal of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.741-760
• /
• 2021

In this paper, we exhibit the equivalence between different notions of unique range sets, namely, unique range sets, weighted unique range sets and weak-weighted unique range sets under certain conditions. Also, we present some uniqueness theorems which show how two meromorphic functions are uniquely determined by their two finite shared sets. Moreover, in the last section, we make some observations that help us to construct other new classes of unique range sets.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.623-631
• /
• 2005

The approximate controllability for the nonlinear control system with nonlinear monotone hemicontinuous and coercive operator is studied. The existence, uniqueness and a variation of solutions of the system are also given.

• Journal of applied mathematics & informatics
• /
• v.7 no.3
• /
• pp.969-982
• /
• 2000

The approximate controllability for the nonlinear control system with nonlinear monotone hemicontinuous and coercive operator is studied. The existence, uniqueness and a variation of solutions of the system are also given.

• East Asian mathematical journal
• /
• v.16 no.2
• /
• pp.251-266
• /
• 2000

The problem of solution uniqueness to the task of determining unknown parameters of mathematical models from input-output observations is studied. This problem is known as structural identifiability problem. We offer a new approach for testing structural identifiability of linear state space models. The approach compares favorably with numerous methods proposed by other authors for two main reasons. First, it is formulated in obvious mathematical form. Secondly, the method does not involve unfeasible symbolic computations and thus allows to test identifiability of large-scale models. In case of non-identifiability, when there is a set of solutions to the task, we offer a method of computing functions of the unknown parameters which can be determined uniquely from input-output observations and later used as new parameters of the model. Such functions are called parametric functions capable of estimation. To develop the method of computation of these functions we use Lie group transformation theory. Illustrative example is given to demonstrate applicability of presented methods.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.1
• /
• pp.40-44
• /
• 2004

In this paper we study the existence and uniqueness of fuzzy solutions for the nonlinear fuzzy integro-differential equations on $E^{n}_{N}$ by using the concept of fuzzy number of dimension n whose values are normal, convex, upper semicontinuous and compactly supported surface in $E^{n}_{N}$. $E^{n}_{N}$ be the set of all fuzzy numbers in $R^{n}$ with edges having bases parallel to axis $x_1$, $x_2$, …, $x_n$.

• International Journal of Railway
• /
• v.2 no.2
• /
• pp.70-79
• /
• 2009

An optimal driving strategy of a train in a long journey on a nonsteep track has four phases: an initial power phase, a long hold speed phase, a coast phase and a final brake phase. The majority of the journey is speed holding. On a track with steep gradients, it becomes necessary to vary the strategy around steep sections of track because it is not possible to hold a constant steep on steep track. Instead we must interrupt the speed hold phase with a power phase. The aim of this paper is to show that there is a unique power phase that satisfies the necessary conditions for an optimal journey. The problem is developed and solved for various cases, from a simple single steep gradient to a complicated multiple steep gradient section. For each case, we construct a set of new conditions for optimality of the power phase that minimises the energy used during the power phase subject to a weighted time penalty. We then use the new necessary conditions to develop a calculate scheme for finding an optimal power phase for a steep incline. We also present an example to confirm the uniqueness of an optimal power phase.