TY - JOUR

T1 - О существовании, продолжимости и единственности решения задачи Коши ОДУ первого порядка, поставленной в граничной точке

AU - Басов, Владимир Владимирович

PY - 2025/5/20

Y1 - 2025/5/20

N2 - A first-order ordinary differential equation, solved with respect to the derivative, is considered. It is assumed that its right-hand side is continuous on a set consisting of a connected open subset of a two-dimensional Euclidean space and some part of its boundary. A theory is presented devoted to solving the questions of existence, continuability and uniqueness of solutions of the BIVP that is the initial value problem posed at a boundary point. This theory will allow to supplement the existing theory of first-order ODEs, in which the Cauchy problem is posed at an interior point (IIVP). The main results on existence or non-existence of a BIVP solution were obtained in 2020, therefore in this paper they are only systematized and supplemented. The results related to continuability, as well as the uniqueness or non-uniqueness of solutions to the BIVP are new. Theorems on the formal and local uniqueness of solutions to the Cauchy problem are proved. The differences between BIVP and IIVP are shown. For example, the non-equivalence of the concepts of formal and local uniqueness for BIVP and IIVP is demonstrated. This non-equivalence leads to the appearance of so-called hidden points of non-uniqueness along with points of non-uniqueness and uniqueness.

AB - A first-order ordinary differential equation, solved with respect to the derivative, is considered. It is assumed that its right-hand side is continuous on a set consisting of a connected open subset of a two-dimensional Euclidean space and some part of its boundary. A theory is presented devoted to solving the questions of existence, continuability and uniqueness of solutions of the BIVP that is the initial value problem posed at a boundary point. This theory will allow to supplement the existing theory of first-order ODEs, in which the Cauchy problem is posed at an interior point (IIVP). The main results on existence or non-existence of a BIVP solution were obtained in 2020, therefore in this paper they are only systematized and supplemented. The results related to continuability, as well as the uniqueness or non-uniqueness of solutions to the BIVP are new. Theorems on the formal and local uniqueness of solutions to the Cauchy problem are proved. The differences between BIVP and IIVP are shown. For example, the non-equivalence of the concepts of formal and local uniqueness for BIVP and IIVP is demonstrated. This non-equivalence leads to the appearance of so-called hidden points of non-uniqueness along with points of non-uniqueness and uniqueness.

KW - Peano segment

KW - boundary initial value problem

KW - existence of a solution

KW - extendability of a solution

KW - uniqueness of a solution

UR - https://www.mendeley.com/catalogue/b2a4b239-2d01-31f5-9c2a-caba145b9ecf/

U2 - 10.35634/2226-3594-2025-65-01

DO - 10.35634/2226-3594-2025-65-01

M3 - статья

VL - 65

SP - 3

EP - 27

JO - Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta

JF - Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta

SN - 2226-3594

IS - 1

ER -