[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Next Article in Journal
Existence of Mild Solutions for Hilfer Fractional Evolution Equations with Almost Sectorial Operators
Next Article in Special Issue
Statistically Convergent Sequences in Intuitionistic Fuzzy Metric Spaces
Previous Article in Journal
Exploring the Limits of Euler–Bernoulli Theory in Micromechanics
Previous Article in Special Issue
De Moivre’s and Euler Formulas for Matrices of Hybrid Numbers
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Solutions and Stability of Stochastic Functional Equations Emerging in Psychological Theory of Learning

1
Department of Mathematics and Statistics, Faculty of Science and Technology, Thammasat University Rangsit Center, Rangsit 12120, Thailand
2
Faculty of Applied Mathematics, AGH University of Science and Technology, Mickiewicza 30, 30-059 Kraków, Poland
3
School of Science, Nanjing University of Science and Technology, Nanjing 210094, China
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2022, 11(3), 143; https://doi.org/10.3390/axioms11030143
Submission received: 27 January 2022 / Revised: 7 March 2022 / Accepted: 17 March 2022 / Published: 21 March 2022
(This article belongs to the Special Issue Advances in Mathematics and Its Applications)

Abstract

:
We show how to apply the well-known fixed-point approach in the study of the existence, uniqueness, and stability of solutions to some particular types of functional equations. Moreover, we also obtain the Ulam stability result for them. The functional equations that we consider can be used to explain various experiments in mathematical psychology and arise in a natural way in the stochastic approach to the processes of perception, learning, reasoning, and cognition.

1. Introduction and Preliminaries

Let X be a nonempty set and R denote the set of reals. Let L 1 , L 2 , L 3 , L 4 : X X , a 1 , a 2 , a 3 , a 4 , b : X R and A 1 , A 2 R be fixed. We present a fixed-point method, which is very effective in the study of the solutions f : X R of the following general stochastic functional equation
f ( x ) = a 1 ( x ) f ( L 1 ( x ) ) + a 2 ( x ) f ( L 2 ( x ) ) + ( A 1 a 1 ( x ) ) f ( L 3 ( x ) ) + ( A 2 a 2 ( x ) ) f ( L 4 ( x ) ) + b ( x ) ,
for x X . The equation arises in the stochastic approach in mathematical psychology, which deals with the mathematical modeling of the processes of perception, reasoning, and cognition. We do not make any particular probabilistic assumptions on X, b, a i and A i , because the main considerations are valid without them (i.e., in a general situation).
Mathematical psychology is based on the observation that the learning process in an animal or a human being may be seen as a sequence of decisions resulting from a large number of potential feedbacks. These decisions often appear unexpected even in simple repeated tests conducted under well-controlled circumstances, which suggests that they can be considered to be random. Therefore, it seems to make sense to include in our considerations the systemic changes (in the set of possible choices) that represent fluctuations in the probability of responses between individual trials, which means the investigation of a suitable stochastic process.
The idea that a simple learning experiment may behave stochastically is not novel (see, e.g., Refs. [1,2,3]). It has some drawbacks, but also shows some new relationships. One of the tools applied in the research connected with this idea are functional equations. For instance, in 1967, Epstein [4] proposed the following functional equation (to discuss the learning process of animals in a two-choice situation):
f ( x ) = e x 1 + e x f ( x + a ) + 1 e x 1 + e x f ( x b ) ,
where a and b are fixed real constants and f : R [ 0 , 1 ] is an unknown function satisfying the conditions lim x f ( x ) = 0 and lim x + f ( x ) = 1 . The analytical solution of the above equation was calculated by using the bilateral Laplace transformation.
In 1976, Istrăţescu [5] studied the behavior of predatory animals that prey on two distinct types of prey and used the following functional equation
f ( x ) = x f ( ν 1 + ( 1 ν 1 ) x ) + ( 1 x ) f ( ( 1 ν 2 ) x ) ,
where 0 < ν 1 ν 2 < 1 are learning-rate parameters and f : [ 0 , 1 ] R is an unknown function.
Recently, Turab and Sintunavarat [6] introduced the following functional equation
f ( x ) = x f ( ν 1 x + ( 1 ν 1 ) Θ 1 ) + ( 1 x ) f ( ν 2 x + ( 1 ν 2 ) Θ 2 ) ,
where f : [ 0 , 1 ] R is an unknown function, 0 < ν 1 ν 2 < 1 are learning-rate parameters and Θ 1 , Θ 2 are real constants. The functional equation was used to study a specific kind of psychological resistance of dogs enclosed in a small box.
Note that Equations (2)–(4) are particular cases of (1) with A 2 = 0 , a 2 ( X ) = { 0 } and b ( X ) = { 0 } . For several other studies on human actions in probability-learning scenarios, we refer to [1,7,8,9,10] (see also [11,12,13]).
Further, an apparently two-choice situation regarding the movement of the animals towards food can actually be a four-response situation, if we also take into account the food placement, as did Bush and Wilson [2], dividing the types of responses into four events: right-reward, right-nonreward, left-reward, left-nonreward. They examined the movement of a paradise fish. A very general situation with four different responses is depicted by Equation (1), which additionally include the possibility of the so called ‘blank trials’.
The notion of ‘blank trials’ is motivated by the following very natural question:
What if an animal or human does not move for any prey or response and sticks to its original position?
Some information on such a situation we can find in the paper of Neimark [14], concerning the human response in the two-choice experiment, in which it should have been foreseen which of two lights would be turned on in every trial, but the case when ‘no light was turned on’ was possible as well. Such ‘blank trials,’ as the author called them, established another class of events. Turab and Sintunavarat have also investigated such a situation for a paradise fish [8].
Our objective is to prove results on the existence, uniqueness and stability of solutions to functional Equation (1) by using the tools afforded to us by fixed-point theory (for details about fixed-point theory we refer to [15,16,17]).
Finally, let us mention that the standard theory of existence and uniqueness of solutions to the stochastic equations can be found in many books, such as [18]. These books are usually geared towards Polish spaces but methods to extend the standard theory to Tychonoff spaces are now well understood (see [19]). While our spaces are certainly Tychonoff, it is of interest to come up with a simple direct proof of existence and uniqueness without requiring a lot of specialized machinery.

2. Auxiliary Information and Results

In what follows, C D always denotes the family of all functions that map a set D into a set C .
An extended norm, in a real or complex vector space W, is a function · : W [ 0 , + ] (i.e., possibly also taking the value + ) such that, for each scalar α and every x , y W with x , y [ 0 , + ) ,
x + y x + y , α x = | α | x ,
and x = 0 if and only if x = 0 (the zero vector).
If V is a normed space and T is a set, then such an extended norm in V T can be defined by:
g = sup t T g ( t ) , g V T .
An extended metric in a set B is a function d : B 2 [ 0 , + ] fulfilling, for every x , y , z B , the subsequent three conditions:
( 1 )
d ( x , y ) = 0 if and only if x = y ;
( 2 )
d ( x , y ) = d ( y , x ) ;
( 3 )
d ( x , z ) d ( x , y ) + d ( y , z ) .
If d is an extended metric in a nonempty set B, then we say that the pair ( B , d ) is an extended metric space.
If · is an extended norm in a real vector space W, then it is easily seen that the formula d ( x , y ) = x y defines an extended metric in W. For the extended norms and metrics the notions of Cauchy sequence and completeness are the same as for the classical norms and metrics.
In the sequel, given a set X and L : X X , we sometimes write for simplicity L x : = L ( x ) for x X . Moreover, as usual, L 0 x : = x and L n x : = L ( L n 1 x ) for x X , n N (positive integers).
Now, we are in a position to recall the Diaz–Margolis fixed-point alternative (see [20]), which will be useful in the proof of our main results ( N 0 : = N { 0 } ).
Theorem 1.
Assume that ρ is an extended complete metric in a set S and L : S S is a contraction with the constant L < 1 (i.e., ρ ( L x , L y ) L ρ ( x , y ) for x , y S with ρ ( x , y ) ( 0 , + ) ). Let x S be such that there is k N with ρ ( L k 1 x , L k x ) < . Then the sequence ( L n x ) n N converges to a fixed point x * S of L , x * is the unique fixed point of L in the set S * = { y S : ρ ( x * , y ) < } and
ρ ( L n x , x * ) L n k + 1 ρ ( L k 1 x , L k x ) 1 L , n N 0 , n k 1 .
Proof. 
From [20] (Theorem) we can easily deduce the convergence of L n x to a fixed point x * of L . Further, for each fixed point u S * of L , we have the subsequent simple inequality
ρ ( u , x * ) = ρ ( L n u , L n x * ) L n ρ ( u , x * ) , n N ,
which yields the uniqueness of x * . For the convenience of readers, we also present below a proof of (5).
First note that, for every m N , m k ,
ρ ( L k 1 x , L m x ) i = k m ρ ( L i 1 x , L i x ) ρ ( L k 1 x , L k x ) i = 0 m k L i ρ ( L k 1 x , L k x ) 1 L
whence
ρ ( L k 1 x , x * ) ρ ( L k 1 x , L m x ) + ρ ( L m x , x * ) ρ ( L k 1 x , L k x ) 1 L + ρ ( L m x , x * ) .
Further, lim m ρ ( L m x , x * ) = 0 and consequently,
ρ ( L k 1 x , x * ) ρ ( L k 1 x , L k x ) 1 L .
Finally, it is easily seen that (5) can be deduced from the above inequality and from the fact that, for every n N 0 with n k 1 , we have
ρ ( L n x , x * ) = ρ ( L n k + 1 ( L k 1 x ) , L n k + 1 x * ) L n k + 1 ρ ( L k 1 x , x * ) .
Remark 1.
Let k = 1 in Theorem 1. Then (5) (with n = 0 ) yields ρ ( x , x * ) < + , which means that x S * .
Further, for every fixed point z S of L such that ρ ( x , z ) < + , we have ρ ( x * , z ) ρ ( x * , x ) + ρ ( x , z ) < + and therefore z S * . This means that z = x * , as x * is the unique in S * fixed point of L .
Consequently, if L has a fixed point z x * , then necessarily ρ ( x , z ) = + .

3. Some Preliminary Remarks

Later in this article (unless explicitly stated otherwise), ( X , d ) is a metric space, x 0 X and η R are fixed, E : = { f R X : f ( x 0 ) = η } and we write
f e : = sup x y f ( x ) f ( y ) d ( x , y ) , f R X .
It is easily seen that
f + g e f e + g e , f , g R X ,
and consequently
| f e g e | f g e , f , g R X , f e < , g e < .
If η = 0 , then E is a real vector space and f e is an extended norm in E . If η 0 , then E is not a real vector space. However, in either case we can define in E an extended metric d e by d e ( f , g ) = f g e .
We show that d e is complete. So, take a Cauchy sequence ( f n ) n N in ( E , d e ) . Then, for every ϵ > 0 , there exists k N such that d e ( f n , f m ) ϵ for m , n N with min { m , n } > k , which means that
| f n ( x ) f m ( x ) f n ( y ) + f m ( y ) | ϵ d ( x , y ) , x , y X , m , n N , min { m , n } > k .
This, with y = x 0 , yields
| f n ( x ) f m ( x ) | ϵ d ( x , y ) , x X , m , n N , min { m , n } > k .
Consequently, for every x X , the sequence ( f n ( x ) ) n N is Cauchy in R (with the natural metric) and there exists the limit
f ( x ) : = lim n f n ( x ) .
Thus we define a function f E . Next, letting m in (8) we get
| f n ( x ) f ( x ) f n ( y ) + f ( y ) | ϵ d ( x , y ) , x , y X , n > k ,
whence d e ( f n , f ) ϵ for n > k . In this way we have shown that (in ( E , d e ) )
f = lim n f n .
Let F : = { f E : f e < } . Then, every function f F is a Lipschitz function with the Lipschitz constant equal to f e (i.e., | f ( x ) f ( y ) | f e d ( x , y ) for every x , y X ); therefore, it is continuous.
Next, take f n F for n N and assume that (9) holds with some f E , which means that
lim n f n f e = 0 .
Then, by (6) and (7),
| f n e f m e | f n f m e f n f e + f m f e , n , m N ,
which on account of (10) implies that f n e n N is a Cauchy sequence in R , and consequently there exists finite
c 0 : = lim n f n e .
Due to (6), we also have the inequality
f e f f n e + f n e , n N .
Hence, by (10) (with n ), we obtain f e c 0 , whence f F . Thus, we have proved that F is a closed subset of ( E , d e ) .

4. Main Results

In this section, L 1 , L 2 , L 3 , L 4 : X X , a 1 , a 2 , b : X R and A 1 , A 2 R are fixed. We investigate solutions f E to (1), i.e., to the functional equation
f ( x ) = a 1 ( x ) f ( L 1 ( x ) ) + a 2 ( x ) f ( L 2 ( x ) ) + ( A 1 a 1 ( x ) ) f ( L 3 ( x ) ) + ( A 2 a 2 ( x ) ) f ( L 4 ( x ) ) + b ( x ) .
We write
a ^ 1 : = sup z X | a 1 ( z ) | < , a ^ 2 : = sup z X | a 2 ( z ) | ,
a ^ 3 : = sup z X | A 1 a 1 ( z ) | , a ^ 4 : = sup z X | A 2 a 2 ( z ) | .
We also need the following three hypotheses.
Hypothesis 1
( H 1 ). For each i { 1 , 2 , 3 , 4 } , L i is a Lipschitz mapping with a constant κ i , i.e.,
d ( L i ( x ) , L i ( y ) ) κ i d ( x , y ) , x , y X .
Hypothesis 2
( H 2 ). a 1 , a 2 F , a ^ 1 < and a ^ 2 < .
Hypothesis 3
( H 3 ). For every f E ,
η = a 1 ( x 0 ) f ( L 1 ( x 0 ) ) + a 2 ( x 0 ) f ( L 2 ( x 0 ) ) + ( A 1 a 1 ( x 0 ) ) f ( L 3 ( x 0 ) ) + ( A 2 a 2 ( x 0 ) ) f ( L 4 ( x 0 ) ) + b ( x 0 ) .
Hypothesis ( H 3 ) may seem quite demanding, but it is easily seen that, in the case b ( x 0 ) = η ( 1 A 1 A 2 ) , it is fulfilled, for instance, in the following situations:
-
x 0 is a fixed point of L 1 and L 2 , a 1 ( x 0 ) = A 1 , a 2 ( x 0 ) = A 2 ;
-
x 0 is a fixed point of L 3 and L 4 , a 1 ( x 0 ) = a 2 ( x 0 ) = 0 ;
-
x 0 is a fixed point of L 1 and L 4 , a 1 ( x 0 ) = A 1 , a 2 ( x 0 ) = 0 .
Define T : E R X by:
( T f ) ( x ) = a 1 ( x ) f ( L 1 ( x ) ) + a 2 ( x ) f ( L 2 ( x ) ) + ( A 1 a 1 ( x ) ) f ( L 3 ( x ) ) + ( A 2 a 2 ( x ) ) f ( L 4 ( x ) ) + b ( x ) , f E , x X .
Note that if hypothesis ( H 3 ) is valid, then ( T f ) ( x 0 ) = η for every f E and consequently T ( E ) E .
Now, we are in a position to prove the following main result of this paper.
Theorem 2.
Let hypotheses ( H 1 ) ( H 3 ) be valid, λ 0 : = a ^ 1 κ 1 + a ^ 2 κ 2 + a ^ 3 κ 3 + a ^ 4 κ 4 and δ ( X ) : = max x , y X d ( x , y ) . Suppose that one of the following three conditions is valid.
(a
There exist points u 1 , u 2 X such that
L 1 ( u 1 ) = L 3 ( u 1 ) , L 2 ( u 2 ) = L 4 ( u 2 )
and
λ : = λ 0 + δ ( X ) ( a 1 e ( κ 1 + κ 3 ) + a 2 e ( κ 2 + κ 4 ) ) < 1 .
(b
There exist κ 5 , κ 6 [ 0 , ) such that
d L 1 ( x ) , L 3 ( y ) κ 5 d ( x , y ) , d L 2 ( x ) , L 4 ( y ) κ 6 d ( x , y )
for all x , y X with x y , and
λ : = λ 0 + δ ( X ) ( a 1 e ( κ 1 + κ 5 ) + a 2 e ( κ 2 + κ 6 ) ) < 1 .
(c
There exist γ 1 , γ 2 [ 0 , ) with
d L 1 ( x ) , L 3 ( x ) γ 1 , d L 2 ( x ) , L 4 ( x ) γ 2 , x X ,
and
λ : = λ 0 + a 1 e γ 1 + a 2 e γ 2 < 1 .
If f 0 E is such that there is k N with d e ( T k 1 f 0 , T k f 0 ) < , then the sequence ( T n f 0 ) n N is convergent to a fixed point f * E of T , which is the unique solution of Equation (11) in the set
E f * : = { f E : d e ( f , f * ) < } .
Moreover, the speed of convergence is estimated by the following inequality:
d e ( T n f 0 , f * ) λ n k + 1 d e ( T k 1 f 0 , T k f 0 ) 1 λ , n N 0 , n k 1 .
Proof. 
We show that T is a contraction on E .
First, observe that, for each x 1 , x 2 X ,
T f ( x 1 ) T f ( x 2 ) = a 1 ( x 1 ) f ( L 1 ( x 1 ) ) + a 2 ( x 1 ) f ( L 2 ( x 1 ) ) + ( A 1 a 1 ( x 1 ) ) f ( L 3 ( x 1 ) ) + ( A 2 a 2 ( x 1 ) ) f ( L 4 ( x 1 ) ) [ a 1 ( x 2 ) f ( L 1 ( x 2 ) ) + a 2 ( x 2 ) f ( L 2 ( x 2 ) ) + ( A 1 a 1 ( x 2 ) ) f ( L 3 ( x 2 ) ) + ( A 2 a 2 ( x 2 ) ) f ( L 4 ( x 2 ) ) ] = a 1 ( x 1 ) f ( L 1 ( x 1 ) ) a 1 ( x 1 ) f ( L 1 ( x 2 ) ) + a 2 ( x 1 ) f ( L 2 ( x 1 ) ) a 2 ( x 1 ) f ( L 2 ( x 2 ) ) + ( A 1 a 1 ( x 1 ) ) f ( L 3 ( x 1 ) ) ( A 1 a 1 ( x 1 ) ) f ( L 3 ( x 2 ) ) + ( A 2 a 2 ( x 1 ) ) f ( L 4 ( x 1 ) ) ( A 2 a 2 ( x 1 ) ) f ( L 4 ( x 2 ) ) + a 1 ( x 1 ) f ( L 1 ( x 2 ) ) a 1 ( x 2 ) f ( L 1 ( x 2 ) ) + a 2 ( x 1 ) f ( L 2 ( x 2 ) ) a 2 ( x 2 ) f ( L 2 ( x 2 ) ) + ( A 1 a 1 ( x 1 ) ) f ( L 3 ( x 2 ) ) ( A 1 a 1 ( x 2 ) ) f ( L 3 ( x 2 ) ) + ( A 2 a 2 ( x 1 ) ) f ( L 4 ( x 2 ) ) ( A 2 a 2 ( x 2 ) ) f ( L 4 ( x 2 ) ) ,
and consequently
T f ( x 1 ) T f ( x 2 ) = a 1 ( x 1 ) ( f ( L 1 ( x 1 ) ) f ( L 1 ( x 2 ) ) ) + a 2 ( x 1 ) ( f ( L 2 ( x 1 ) ) f ( L 2 ( x 2 ) ) ) + ( A 1 a 1 ( x 1 ) ) ( f ( L 3 ( x 1 ) ) f ( L 3 ( x 2 ) ) ) + ( A 2 a 2 ( x 1 ) ) ( f ( L 4 ( x 1 ) ) f ( L 4 ( x 2 ) ) ) + ( a 1 ( x 1 ) a 1 ( x 2 ) ) ( f ( L 1 ( x 2 ) ) f ( L 3 ( x 2 ) ) ) + ( a 2 ( x 1 ) a 2 ( x 2 ) ) ( f ( L 2 ( x 2 ) ) f ( L 4 ( x 2 ) ) ) .
Assume that condition (a) is fulfilled. Then by (14) and (21), for every x 1 , x 2 X with x 1 x 2 ,
| T f ( x 1 ) T f ( x 2 ) | d ( x 1 , x 2 ) | a 1 ( x 1 ) | f e d ( L 1 ( x 1 ) , L 1 ( x 2 ) ) d ( x 1 , x 2 ) + | a 2 ( x 1 ) | f e d ( L 2 ( x 1 ) , L 2 ( x 2 ) ) d ( x 1 , x 2 ) + | A 1 a 1 ( x 1 ) | f e d ( L 3 ( x 1 ) , L 3 ( x 2 ) ) d ( x 1 , x 2 ) + | A 2 a 2 ( x 1 ) | f e d ( L 4 ( x 1 ) , L 4 ( x 2 ) ) d ( x 1 , x 2 ) + a 1 e | f ( L 1 ( x 2 ) ) f ( L 1 ( u 1 ) ) + f ( L 3 ( u 1 ) ) f ( L 3 ( x 2 ) ) | + a 2 e | f ( L 2 ( x 2 ) ) f ( L 2 ( u 2 ) ) + f ( L 4 ( u 2 ) ) f ( L 4 ( x 2 ) ) | a ^ 1 f e κ 1 + a ^ 2 f e κ 2 + a ^ 3 f e κ 3 + a ^ 4 f e κ 4 + a 1 e ( f e κ 1 δ ( X ) + f e κ 3 δ ( X ) ) + a 2 e ( f e κ 2 δ ( X ) + f e κ 4 δ ( X ) ) = λ f e ,
where
λ : = λ 0 + a 1 e δ ( X ) ( κ 1 + κ 3 ) + a 2 e δ ( X ) ( κ 2 + κ 4 ) .
Hence, replacing f by f 1 f 2 , we obtain that
d e ( T f 1 , T f 2 ) = T f 1 T f 2 e = T ( f 1 f 2 ) e λ f 1 f 2 e = λ d e ( f 1 , f 2 ) , f 1 , f 2 E .
If condition (b) is satisfied, then by (16) and (21), for every x 1 , x 2 X with x 1 x 2 , we have
| T f ( x 1 ) T f ( x 2 ) | d ( x 1 , x 2 ) | a 1 ( x 1 ) | f e d ( L 1 ( x 1 ) , L 1 ( x 2 ) ) d ( x 1 , x 2 ) + | a 2 ( x 1 ) | f e d ( L 2 ( x 1 ) , L 2 ( x 2 ) ) d ( x 1 , x 2 ) + | A 1 a 1 ( x 1 ) | f e d ( L 3 ( x 1 ) , L 3 ( x 2 ) ) d ( x 1 , x 2 ) + | A 2 a 2 ( x 1 ) | f e d ( L 4 ( x 1 ) , L 4 ( x 2 ) ) d ( x 1 , x 2 ) + a 1 e | f ( L 1 ( x 2 ) ) f ( L 1 ( x 1 ) ) + f ( L 1 ( x 1 ) ) f ( L 3 ( x 2 ) ) | + a 2 e | f ( L 2 ( x 2 ) ) f ( L 2 ( x 1 ) ) + f ( L 2 ( x 1 ) ) f ( L 4 ( x 2 ) ) | λ 0 f e + a 1 e ( f e κ 1 δ ( X ) + f e κ 5 δ ( X ) ) + a 2 e ( f e κ 2 δ ( X ) + f e κ 6 δ ( X ) ) = λ f e ,
where
λ : = λ 0 + a 1 e δ ( X ) ( κ 1 + κ 5 ) + a 2 e δ ( X ) ( κ 2 + κ 6 ) .
Hence, as in the previous case we obtain (22).
Finally, assume that (c) holds. Then by (18) and (21), for every x 1 , x 2 X with x 1 x 2 , we have
| T f ( x 1 ) T f ( x 2 ) | d ( x 1 , x 2 ) | a 1 ( x 1 ) | f e d ( L 1 ( x 1 ) , L 1 ( x 2 ) ) d ( x 1 , x 2 ) + | a 2 ( x 1 ) | f e d ( L 2 ( x 1 ) , L 2 ( x 2 ) ) d ( x 1 , x 2 ) + | A 1 a 1 ( x 1 ) | f e d ( L 3 ( x 1 ) , L 3 ( x 2 ) ) d ( x 1 , x 2 ) + | A 2 a 2 ( x 1 ) | f e d ( L 4 ( x 1 ) , L 4 ( x 2 ) ) d ( x 1 , x 2 ) + a 1 e | f ( L 1 ( x 2 ) ) f ( L 3 ( x 2 ) ) | + a 2 e | f ( L 2 ( x 2 ) ) f ( L 4 ( x 2 ) ) | λ 0 f e + a 1 e f e γ 1 + a 2 e f e γ 2 = λ f e ,
where
λ : = λ 0 + a 1 e γ 1 + a 2 e γ 2 .
Hence, as previously we obtain (22).
Thus, we have shown that T is a contraction in each of the cases (a)–(c). Consequently, Theorem 1 (with L = T , L = λ , S = E and ρ = d e ) completes the proof. □
Remark 2.
If one of conditions (a)–(c) of Theorem 2 is fulfilled, then every solution f E of (11) can be obtained in the way depicted in Theorem 2. For, if f * E fulfils (11), then it is a fixed point of T and consequently T n f * = f * for each n N , which means that the sequence ( T n f * ) n N converges to f * .
Remark 3.
Observe that if X = [ 0 , 1 ] , d ( x , y ) = | x y | for x , y X , a 1 ( X ) , a 2 ( X ) [ 0 , 1 ] , a 1 , a 2 are nonexpansive mappings, A 1 = A 2 = 1 , and λ is given by (15), then the inequality
2 ( κ 1 + κ 2 + κ 3 + κ 4 ) < 1
implies that λ < 1 .
Remark 4.
Note that a constant function ω η F , ω η ( x ) η , is a solution to (11) if and only if
η ( 1 A 1 A 2 ) = b ( x ) , x X .
Assume that (24) holds. Since { f E : d e ( f , ω η ) < } = F , so under the assumptions of Theorem 2 (with f 0 = ω η ) ω η is the only solution of Equation (11) which belongs to F . If x 0 is a fixed point of L i for i = 1 , 2 , 3 , 4 , then this is true, e.g., for the equation
f ( x ) = ζ v ( x ) f ( L 1 ( x ) ) + ( 1 ζ ) v ( x ) f ( L 2 ( x ) ) + ζ ( 1 v ( x ) ) f ( L 3 ( x ) ) + ( 1 ζ ) ( 1 v ( x ) ) f ( L 4 ( x ) )
with η = 0 and fixed ζ R and v : X R .
If ζ = 1 , then with v ( x ) e x / ( 1 e x ) equation (25) can be (2), while for v ( x ) x particular cases of (25) are (3) and (4) and the equations considered in [8,21]. This means that with η = 0 (under suitable assumptions on L i ), for Equations (2)–(4) (and equations considered in [8,21]), ω η is the only solution that belongs to F .
If (24) does not hold, then clearly every solution of (25) must be a nonconstant function. Therefore, in such a case, the statement of Theorem 2 depicts nonconstant solutions to (25) and moreover, if k = 1 and f 0 , T f 0 F , then a solution generated in this way belongs to F (because F is a closed subset of ( E , d e ) , as it has been shown at the end of Section 3).
Remark 5.
Assume that (16) holds. Then, for every x , z , w X , with x z w x ,
d ( L 1 ( x ) , L 3 ( x ) ) d ( L 1 ( x ) , L 3 ( z ) ) + d ( L 3 ( z ) , L 1 ( w ) ) + d ( L 1 ( w ) , L 3 ( x ) ) κ 5 ( d ( x , z ) + d ( z , w ) + d ( w , x ) ) ,
d ( L 2 ( x ) , L 4 ( x ) ) κ 6 ( d ( x , z ) + d ( z , w ) + d ( w , x ) ) .
So, if z 0 X is a limit of a sequence ( z n ) n N of points of the set X \ { z 0 } with z n z n + 1 for n N , then taking in the above inequalities x = z 0 , z = z n , w = z n + 1 and letting n , we get L 1 ( x 0 ) = L 3 ( x 0 ) and L 2 ( x 0 ) = L 4 ( x 0 ) . This means that condition (14) is valid with u 1 = u 2 = z 0 . Hence, in the case where (b) holds we obtain anything other than in the case of (a) only when the topology generated in X by d is discrete.

5. Remarks on Ulam Stability

In this section we show that Theorem 2 actually also provides the results on Ulam stability. Let us recall that the theory of Ulam stability (often also called the Hyers–Ulam stability) has been motivated by a problem of S. Ulam, concerning approximate homomorphisms of groups, and an answer to it provided by D. Hyers [22] (see [23,24,25,26,27,28] for more details and references).
To put it very roughly, the main issue of such stability can be expressed as follows: When a function satisfying an equation approximately (in some sense) must be near an exact solution to the equation?
The next definition (cf. [25], p. 119, Ch. 5, Definition 8) makes the notion a bit more precise ( R + : = [ 0 , ) ).
Definition 1.
Let A be a nonempty set, ( S , ρ ) be a metric space, E R + A be nonempty, T be an operator mapping E into R + A and F 1 , F 2 be operators mapping a nonempty set D S A into S A . We say that the equation
F 1 φ ( x ) = F 2 φ ( x )
is T —stable provided for any ε E and φ 0 D with
ρ ( F 1 φ 0 ) ( x ) , ( F 2 φ 0 ) ( x ) ε ( x ) , x A ,
there exists a solution φ D of Equation (26) such that
ρ φ ( x ) , φ 0 ( x ) ( T ε ) ( x ) , x A .
In short, T –stability of (26) means that every approximate (in the sense of (27)) solution of (26) is always close (in the sense of (28)) to an exact solution of (26).
In mathematical modeling, the consistency of solutions to equations applied is critical. Minor changes to the data set, such as those caused by natural measurement errors, should not have a significant impact on the conclusion. Hence, it is also essential to analyze the stability of the suggested functional equation solutions. The next corollary shows that Theorem 2 also yields information on the Ulam stability of Equation (11), which correspond to and complement various earlier stability results for functional equations in single variable (cf., e.g., [29,30,31,32]).
Corollary 1.
Let hypotheses ( H 1 ) ( H 3 ) be valid and let one of conditions (a)–(c) of Theorem 2 be fulfilled.
If f 0 E is such that d e ( f 0 , T f 0 ) < , then the sequence ( T n f 0 ) n N converges to a solution f * E of Equation (11) and
d e ( f * , f 0 ) d e ( f 0 , T f 0 ) 1 λ .
Moreover, f * is the unique in E solution to (11) with a finite distance to f 0 .
Proof. 
In view of Theorem 2 (with k = 1 and n = 0 ), it is only necessary to show the uniqueness of f * . So, suppose that g E also is a solution to (11) with d e ( f 0 , g ) < . Then
d e ( f * , g ) d e ( f * , f 0 ) + d e ( f 0 , g ) d e ( f 0 , T f 0 ) 1 λ + d e ( f 0 , g ) .
Since f * and g also are fixed points of T and from the proof of Theorem 2 it follows that (22) holds with λ < 1 , for each n N we have
d e ( f * , g ) = d e ( T n f * , T n g ) λ n d e ( f * , g ) λ n d e ( f 0 , T f 0 ) 1 λ + d e ( f 0 , g ) ,
which with n yields f * = g . □

6. Conclusions

Mathematical psychology is a branch of psychology that deals with the mathematical modeling of processes studied in theories of cognition and learning. One of its directions is the so-called stochastic approach. From this perspective, most research on learning processes can be reduced to calculating the probability of events occurring in subsequent trials, which leads to the consideration of appropriate stochastic processes.
In this article, we presented some results on Ulam stability and solution (e.g., their existence and uniqueness) of a general functional equation that may be used to study various learning theory experiments on animals and humans. The main tool that we use is the fixed-point alternative of Diaz and Margolis [20].
Unlike the authors of [6,8,21], we do not use any boundary conditions in the proof of our Theorem 2. Therefore our findings are applicable to a broader range of problems.

Author Contributions

Conceptualization, A.T. and W.A.; methodology, A.T., J.B. and W.A.; software, A.T., J.B. and W.A.; validation, A.T., J.B. and W.A.; formal analysis, A.T., J.B. and W.A.; investigation, A.T., J.B. and W.A.; resources, A.T., J.B. and W.A.; data curation, A.T., J.B. and W.A.; writing—original draft preparation, A.T. and W.A.; writing—review and editing, A.T., J.B. and W.A.; visualization, A.T., J.B. and W.A.; supervision, A.T.; project administration, A.T., J.B. and W.A.; funding acquisition, A.T., J.B. and W.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Estes, W.K.; Straughan, J.H. Analysis of a verbal conditioning situation in terms of statistical learning theory. J. Exp. Psych. 1954, 47, 225–234. [Google Scholar] [CrossRef] [PubMed]
  2. Bush, A.A.; Wilson, T.R. Two-choice behavior of paradise fish. J. Exp. Psych. 1956, 51, 315–322. [Google Scholar] [CrossRef]
  3. Bush, R.; Mosteller, F. Stochastic Models for Learning; Wiley: New York, NY, USA, 1955. [Google Scholar]
  4. Epstein, B. On a difference equation arising in a learning-theory model. Israel J. Math. 1966, 4, 145–152. [Google Scholar] [CrossRef]
  5. Istrăţescu, V.I. On a functional equation. J. Math. Anal. Appl. 1976, 56, 133–136. [Google Scholar] [CrossRef]
  6. Turab, A.; Sintunavarat, W. On the solution of the traumatic avoidance learning model approached by the Banach fixed point theorem. J. Fixed Point Theory Appl. 2020, 22, 50. [Google Scholar] [CrossRef]
  7. Grant, D.A.; Hake, H.W.; Hornseth, J.P. Acquisition and extinction of a verbal conditioned response with differing percentages of reinforcement. J. Exp. Psych. 1951, 42, 1–5. [Google Scholar] [CrossRef] [PubMed]
  8. Turab, A.; Sintunavarat, W. On analytic model for two-choice behavior of the paradise fish based on the fixed point method. J. Fixed Point Theory Appl. 2019, 21, 56. [Google Scholar] [CrossRef]
  9. Humphreys, L.G. Acquisition and extinction of verbal expectations in a situation analogous to conditioning. J. Exp. Psych. 1939, 25, 294–301. [Google Scholar] [CrossRef]
  10. Jarvik, M.E. Probability learning and a negative recency effect in the serial anticipation of alternative symbols. J. Exp. Psych. 1951, 41, 291–297. [Google Scholar] [CrossRef]
  11. Schein, E.H. The effect of reward on adult imitative behavior. J. Abnorm. Soc. Psych. 1954, 49, 389–395. [Google Scholar] [CrossRef]
  12. Miller, N.E.; Dollard, J. Social Learning and Imitation; Yale University Press: New Haven, CT, USA, 1941. [Google Scholar]
  13. Schwartz, N. An Experimental Study of Imitation. The Effects of Reward and Age. Ph.D. Thesis, Radcliffe College, Cambridge, MA, USA, 1953. [Google Scholar]
  14. Neimark, E.D. Effects of Type of Non-reinforcement and Number of Alternative Responses in Two Verbal Conditioning Situation. Ph.D. Thesis, Indiana University, Bloomington, IN, USA, 1953. [Google Scholar]
  15. Aydi, H.; Karapinar, E.; Rakocevic, V. Nonunique fixed point theorems on b-metric spaces via simulation functions. Jordan J. Math. Stat. 2019, 12, 265–288. [Google Scholar]
  16. Karapinar, E. Recent advances on the results for nonunique fixed in various spaces. Axioms 2019, 8, 72. [Google Scholar] [CrossRef] [Green Version]
  17. Alsulami, H.H.; Karapinar, E.; Rakocevic, V. Ciric type nonunique fixed point theorems on b-metric spaces. Filomat 2017, 31, 3147–3156. [Google Scholar] [CrossRef]
  18. Ethier, S.N.; Kurtz, T.G. Markov Processes, Characterization and Convergence; Wiley: New York, NY, USA, 1986. [Google Scholar]
  19. Kouritzin, M.A. On tightness for probability measures on Skorokhod spaces. Trans. Am. Math. Soc. 2016, 368, 5675–5700. [Google Scholar] [CrossRef]
  20. Diaz, J.B.; Margolis, B. A fixed point theorem of the alternative, for contractions on a generalized complete metric space. Bull. Am. Math. Soc. 1968, 74, 305–309. [Google Scholar] [CrossRef] [Green Version]
  21. Berinde, V.; Khan, A.R. On a functional equation arising in mathematical biology and theory of learning. Creat. Math. Inform. 2015, 24, 9–16. [Google Scholar] [CrossRef]
  22. Hyers, D.H. On the stability of the linear functional equation. Proc. Nat. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar] [CrossRef] [Green Version]
  23. Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar] [CrossRef]
  24. Aoki, T. On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2, 64–66. [Google Scholar] [CrossRef]
  25. Brzdęk, J.; Popa, D.; Raşa, I.; Xu, B. Ulam Stability of Operators; Academic Press: Oxford, UK, 2018. [Google Scholar]
  26. Hyers, D.H.; Isac, G.; Rassias, T.M. Stability of Functional Equations in Several Variables; Birkhauser: Basel, Switzerland, 1998. [Google Scholar]
  27. Jung, S.-M. Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis; Springer: New York, NY, USA, 2011. [Google Scholar]
  28. Ulam, S.M. A Collection of the Mathematical Problems; Interscience Publ.: New York, NY, USA, 1960. [Google Scholar]
  29. Brzdęk, J.; Ciepliński, K.; Leśniak, Z. On Ulam’s type stability of the linear equation and related issues. Discrete Dyn. Nat. Soc. 2014, 2014, 536791. [Google Scholar] [CrossRef]
  30. Agarwal, R.P.; Xu, B.; Zhang, W. Stability of functional equations in single variable. J. Math. Anal. Appl. 2003, 288, 852–869. [Google Scholar] [CrossRef] [Green Version]
  31. Xu, B.; Brzdęk, J.; Zhang, W. Fixed point results and the Hyers-Ulam stability of linear equations of higher orders. Pac. J. Math. 2015, 273, 483–498. [Google Scholar] [CrossRef]
  32. Brzdęk, J.; Popa, D.; Xu, B. On approximate solutions of the linear functional equation of higher order. J. Math. Anal. Appl. 2011, 373, 680–689. [Google Scholar] [CrossRef] [Green Version]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Turab, A.; Brzdęk, J.; Ali, W. On Solutions and Stability of Stochastic Functional Equations Emerging in Psychological Theory of Learning. Axioms 2022, 11, 143. https://doi.org/10.3390/axioms11030143

AMA Style

Turab A, Brzdęk J, Ali W. On Solutions and Stability of Stochastic Functional Equations Emerging in Psychological Theory of Learning. Axioms. 2022; 11(3):143. https://doi.org/10.3390/axioms11030143

Chicago/Turabian Style

Turab, Ali, Janusz Brzdęk, and Wajahat Ali. 2022. "On Solutions and Stability of Stochastic Functional Equations Emerging in Psychological Theory of Learning" Axioms 11, no. 3: 143. https://doi.org/10.3390/axioms11030143

APA Style

Turab, A., Brzdęk, J., & Ali, W. (2022). On Solutions and Stability of Stochastic Functional Equations Emerging in Psychological Theory of Learning. Axioms, 11(3), 143. https://doi.org/10.3390/axioms11030143

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop