Temat: existence theorems - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Some optimal control problems for partial differential inclusions
Autorzy:: Kisielewicz, M.
Tematy:: partial differential inclusions
diffusion processes
existence theorems; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/255397.pdf Link otwiera się w nowym oknie
Opis:: Partial differential inclusions are considered. In particular, basing on diffusions properties of weak solutions to stochastic differential inclusions, some existence theorems and some properties of solutions to partial differential inclusions are given.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: The existence of solution for boundary value problems for differential equations with deviating arguments and p-Laplacian
Autorzy:: Liu, Bing
Yu, Jianshe
Tematy:: a priori bounds
boundary value problems
existence theorems
differential equations with deviating arguments
Leray-Schauder degree
p-Laplacian; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Powiązania:: https://bibliotekanauki.pl/articles/1207894.pdf Link otwiera się w nowym oknie
Opis:: We consider a boundary value problem for a differential equation with deviating arguments and p-Laplacian: $-(ϕ_{p}(x'))' + d/dt grad F(x) + g(t,x(t),x(δ(t))$, x'(t), x'(τ(t))) = 0, t ∈ [0,1]; $x(t)=\underline{φ}(t),$ t ≤ 0; $x(t) = \overline{φ}(t)$, t ≥ 1. An existence result is obtained with the help of the Leray-Schauder degree theory, with no restriction on the damping forces d/dt grad F(x).
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Nonlinear fractional differential inclusions with anti-periodic type integral boundary conditions
Autorzy:: Ahmad, Bashir
Ntouyas, Sotiris
Tematy:: fractional differential inclusions
anti-periodic
integral boundary conditions
existence
fixed point theorems; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/729350.pdf Link otwiera się w nowym oknie
Opis:: This article studies a boundary value problem of nonlinear fractional differential inclusions with anti-periodic type integral boundary conditions. Some existence results are obtained via fixed point theorems. The cases of convex-valued and nonconvex-valued right hand sides are considered. Several new results appear as a special case of the results of this paper.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Boundary value problems for n-th order differential inclusions with four-point integral boundary conditions
Autorzy:: Ahmad, B.
Ntouyas, S. K.
Tematy:: differential inclusions
four-point integral boundary conditions
existence
nonlinear alternative of Leray Schauder type
fixed-point theorems; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/255975.pdf Link otwiera się w nowym oknie
Opis:: In this paper, we discuss the existence of solutions for a four-point integral boundary value problem of n-th order differential inclusions involving convex and non-convex multivalued maps. The existence results are obtained by applying the nonlinear alternative of Leray Schauder type and some suitable theorems of fixed point theory.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: A study of second order differential inclusions with four-point integral boundary conditions
Autorzy:: Ahmad, Bashir
Ntouyas, Sotiris
Tematy:: differential inclusions
four-point integral boundary conditions
existence
nonlinear alternative of Leray Schauder type
fixed point theorems; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/729334.pdf Link otwiera się w nowym oknie
Opis:: In this paper, we discuss the existence of solutions for a four-point integral boundary value problem of second order differential inclusions involving convex and non-convex multivalued maps. The existence results are obtained by applying the nonlinear alternative of Leray Schauder type and some suitable theorems of fixed point theory.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Existence and uniqueness of solutions for nonlinear Katugampola fractional differential equations
Autorzy:: Basti, Bilal
Arioua, Yacine
Benhamidouche, Nouredine
Tematy:: fractional equations
fixed point theorems
boundary value problem
existence
uniqueness
równanie ułamkowe
twierdzenie o punkcie stałym
zagadnienie brzegowe
istnienie
wyjątkowość; Pokaż więcej
Wydawca:: Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
Powiązania:: https://bibliotekanauki.pl/articles/357816.pdf Link otwiera się w nowym oknie
Opis:: The present paper deals with the existence and uniqueness of solutions for a boundary value problem of nonlinear fractional differential equations with Katugampola fractional derivative. The main results are proved by means of Guo-Krasnoselskii and Banach fixed point theorems. For applications purposes, some examples are provided to demonstrate the usefulness of our main results.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Numerical and theoretical analysis of an awareness COVID-19 epidemic model via generalized Atangana-Baleanu fractional derivative
Autorzy:: Baba, Isa Abdullahi
Ahmed, Idris
Al-Mdallal, Qasem M
Jarad, Fahd
Yunusa, Salisu
Tematy:: existence
uniqueness
generalized ABC fractional derivative
fixed point theorems
numerical simulations
istnienie
wyjątkowość
uogólniona pochodna ułamkowa ABC
twierdzenia o punktach stałych
symulacje numeryczne; Pokaż więcej
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:: https://bibliotekanauki.pl/articles/2175507.pdf Link otwiera się w nowym oknie
Opis:: In this paper, a COVID-19 Awareness model in the setting of a generalized fractional Atangana-Baleanu derivative is proposed. The existence and uniqueness of a solution of the proposed fractional-order model are investigated under the techniques of fixed point theorems. In addition, we perform the predictor-corrector method to find its numeric solutions and present the graphs of the various solutions using different values of the parameters embodied in the derivative.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Theorems and open problems that concern decidable sets X \subseteq {\mathb N} and cannot be formalized in mathematics understood as an a priori science as they refer to the current knowledge on X
Autorzy:: Tyszka, Apoloniusz
Kozdęba, Agnieszka
Cytata wydawnicza:: Kozdęba, Agnieszka & Tyszka, Apoloniusz, The distinction between constructively defined algorithms and algorithms whose existence is provable in ZFC inspires theorems and open problems that concern decidable sets X⊆N and cannot be formalized in mathematics understood as an a priori science as they refer to the current knowledge on X.
Opis:: Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. We present a new heuristic argument for the infiniteness of P(n^2+1). Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_i!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. We write some system U⊆B of 9 equations which has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. We write some system A⊆B of 8 equations. Let Λ denote the statement: if the system A has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). Algorithms always terminate. The next theorems and open problems justify the title of the article and involve epistemic and informal notions. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies the conjunction of Conditions (1)-(5) for X=P(n^2+1). We define a set X⊆N which satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption.
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Książka

na półce

Informacja

Wyszukujesz frazę "existence theorems" wg kryterium: Temat