Analysis of Problems in Homotopy Theory

Zahrah Ismael Salman
Department Of Mathematics
College Of Basic Education, University Of Missan, Iraq
Problems in Homotopy Theory


In this paper, by system for the Homotopy Analysis Method (HAM), the courses of action was of some nonlinear. In this article, another homotopy structure is presented for the numerical examination of finding the course of action of a first-organize in Partial Differential Equation (PDE) ux(x, y)+a(x,y)uy(x,y)+b(x,y)g(u)=f(x,y). The Homotopy Analysis Method (HPM) and the separating of a source most inaccessible show are utilized together build up this new system. The homotopy made in this structure depends on upon the ruin of a source work. Particular weakening of source limits impel to different homotopies. Utilizing the way that the deteriorating of a source work impacts the union of an answer drives us to change of another system for the disintegrating of a source capacity to revive the meeting of an answer. The enlightenment behind this study is to demonstrate that building the best homotopy by isolating f(x,y) undeniably picks the game-plan with less computational work than utilizing the present approach while giving quantitatively solid results. Furthermore, this procedure can be summed up to all inhomogeneous PDE issues.
Keywords: Homotopy Analysis Method (HAM), Partial differential equation, Parabolic-Hyperbolic.
Nonlinear fragmentary differential conditions are known to portray a wide gathering of miracles not just in material science, where applications stretch out over magneto uid-dynamnics, water surface gravity waves, electromagnetic radiation responses, and atom acoustic waves in plasma, just to give a couple of outlines, moreover in science and science, and two or three different fields. Not very many issues in physics, or surely in any branch of natural science, can be illuminated straightforwardly therefore, one typically first study a perfect model, which is reflected however much as could reasonably be expected of the natural of the genuine logical framework, as a fitting estimate and after that handle different impacts through some powerful perturbative or potentially non perturbative strategies.
            Perturbance Theory (PT) is broadly used to ask about physical systems that can be definitively comprehended yet contain little irritations parameters while applying PT to such a structure, change around the trouble parameter is consolidated, and approximants are passed on as power course of action of these parameters. Then again, non perturbative techniques have been produced to investigate physical issues which don't to some degree physical parameter to be utilized as the aggravation parameter. The non-parameter increase approach, the upgraded trouble hypothesis (OPT) the Variational Disturbance Theory(VPT) and the straight δ-advancement method (LDE), are run of the mill nonperturbative systems, and have been made as fit gadgets in quantum field hypothesis and in move physical settings amidst the previous three decades.
            These procedures do exclude annoyance course of action in powers of physical parameters, and the union of gathered is controlled by some made parameters which don't exists in the primary issues. The recreated parameters are settled toward the end of figurings as demonstrated by some worldview, for instance, principle of minimal sensitivity (PMS), which requires the approximants have insignificant dependence on these parameters over irritation strategies. A champion among the most surely understood non perturbative systems is homotopy analysis method (HAM), at first proposed a viable logical method for seeing straight and nonlinear differential and essential conditions.
            The HAM was effectively connected to take care of numerous nonlinear issues, for example, nonlinear Riccati differential condition with partial request, nonlinear Vakhnenko condition, the Glauert-stream issue, fragmentary KdV-Burgers-Kuramoto Equation, a summed up Hirota-Satsuma coupled KdV condition, nonlinear warmth exchange, to shot movement with the quadratic law, to limit layer stream of nano liquid past an extending sheet, to the Poisson-Boltzmann condition of semiconductor gadgets, lone arrangement of discrete MKdV condition, to the arrangement of Fractional differential conditions, to the Oldroyd 6-consistent liquid with attractive field, MHD-stream of an Oldroyd 8-steady liquid, to the nonlinear streams with slip limit condition etc.

Motivic Homotopy Theory:
            One vital setting for homotopy theory is the stable homotopy characterization; this is the logical universe in which the current homotopy-researcher works. The fundamental jump forward inciting to the making of the subject of motivic homotopy speculation was the improvement by Morel-Voevodsky of new types of this characterization, which brought the "customary" variations from homotopy theory together with commitments from arithmetical geometry. Voevodsky's advancement of the motivic stable homotopy characterization enabled one shockingly to work with the vital material of scientific geometry, plans of polynomial conditions, with the flexibility and power officially only available in homotopy hypothesis.
            The motivic theory has been a noticeable accomplishment. The Fields Medalist Voevodsky used these homotopical techniques as a piece of his affirmation of the watched Milnor figure, and motivic homotopy speculation had significantly more central influence in his dedication to the check of the Bloch-Kato figure, the productive peak of thirty years of heightened research. Other than these completely stunning applications, the way that one could now use the musings and techniques for homotopy speculation to deal with issues in arithmetical geometry has pulled in mathematicians from both fields and has incited to a plenitude of new improvements and applications, for instance, course of action comes to fruition for logarithmic vector bunches. Motivic homotopy theory has been profitable for the conventional homotopy researchers as well. The late work of Hill, Hopkins and Ravenel on the Kervaire invariant one figure, settling one of the major open issues in stable homotopy speculation, used as a part of a urgent way the "cut filtration" in equivariant stable homotopy theory, which therefore was moved by Voevodsky's cut filtration in motivic stable homotopy hypothesis[3].
Homotopy analysis method
With a specific extreme goal to display the key considered HAM, consider the running with differential condition
N [u(x)] = 0;
Where  is a nonlinear administrator, x and t recommends the autonomous variables and u is an abscure capacity dark limit. For straightforwardness, we ignore all most extraordinary or beginning conditions, which can be managed in the indistinguishable way? By procedure for the HAM, we first shape the collected zeroth request turning condition
Where q ϵ [0; 1] is the installing parameter, is a helper parameter, L is an assistant direct administrator, H(x; q) is an obscure capacity, u0(x; t) is an underlying supposition of and H(x; t) means a nonzero helper work. Clearly when the installing parameter q = 0 and q = 1, condition gets to be individually. Along these lines as q increments from 0 to 1, the arrangement fluctuates from the underlying supposition u0(x; t) to the arrangement u(x; t). Growing  (x; t; q) in Taylor arrangement concerning q, one has
            It should be highlighted that um(x; t) for m ≥ 1 is managed by the straight condition with direct reason for constraint conditions that comes outline the basic issue, which can be fathomed by the fundamental figuring programming, for instance, Mathematical or Maple. For the meeting of the above method we insinuate the peruser to Liao. In the occasion that condition yields unique course of action, then this system will convey the amazing game plan. If condition does not group a stand-out course of action, the HAM will give a reply among various other possible game plans.
Differential homotopy theory and Arakelov theory
Differential homotopy hypothesis depends on refining the limitation to manifolds of traditional homotopy invariants of spaces by consolidating extra structures, for example, differential structures or associations. In one course, this approach shows up in arithmetical geometry through Arakelov hypothesis, while file hypothesis frames another essential bearing. As of late this hypothesis has gone up against a "motivic" character, in that items are developed as presheaves on different classifications of smooth manifolds, generally as the motivic hypothesis depends on presheaves on the class of smooth plans. From both perspectives, the trading of thoughts and methods between motivic homotopy hypothesis and differential homotopy is both regular and alluring [4].
                    Conventional differential cohomology has been presented by Cheeger and Simons as a refinement of normal cohomology with necessary coefficients, and serves as an objective for refined trademark classes and trademark frames. This approach depends on an express depiction of the important gatherings by cycles and relations. Utilizing a more homotopy theoretic approach, Hopkins and Singer demonstrate how one can refine a summed up cohomology hypothesis, for example, K-hypothesis, to a differential one. Associations with material science are talked about and a uniqueness hypothesis for differential cohomology speculations is accomplished. In a general setup utilizing boundlessness classes is produced to characterize differential expansions as a stack of spectra on the classification of smooth manifolds and is connected to the development of differential arithmetical K-hypothesis of number rings. Speculations to standard plans over the whole numbers are given. Work of Holmstrom-Scholbach utilizes parts of motivic homotopy hypothesis to develop Arakelov motivic cohomology and Arakelov K-hypothesis; a comparative approach is utilized by Hopkins-Quick as a part of their development of "Deligne"- cobordism[5].
New homotopy perturbation method
To depict the essential thoughts of the homotopy analysis method, we consider the going with nonlinear differential condition:
with the boundary conditions
B(u,) = 0, r Γ,
Where A = General different Operator
            B= Limit Operator
            F(r)= Analytical function, and Γ is also known as the boundary of domain Ω . [6]
Th operator A in this condition (1) can be patched up in general of L and N, where L and N are immediate and nonlinear parts of A, independently, as takes after:
            L(u)+N(u)−f(r) = 0.
By this equation of the homotopy method, we build the homotopy
H(v, p)=(1−p)(L(v)−L(u0))+p(A(v)−f(r))=0,(3)
which is equivalent to
H(v, p)=L(v)−L(u0)+pL(u0)+p(N(v)−f(r))=0,(4)
p is an inserting parameter, u0is a central estimation of (1), which fulfills the most remote point conditions. As p changes from zero to solidarity, v(r,p) changes from u0to u(r). In this technique, the union of an answer relies on upon the decision of u0, that is, we can have unmistakable assessed answers for various u0.
Give us a chance to disintegrate the source work as f(r) = f1(r)+f2(r). In the event that we take L(u0)=f1(r)in (3), we get the accompanying homotopy:
H(v, p)=(1−p)(L(v)−f1(r))+p(A(v)−f(r))=0, (5)
which is equivalent to
H(v, p)=L(v)−f1(r)+p(N(v)−f2(r))=0        (6)
Obviously, from (6) we have
H(v, 0) = L(v)-f1(r) = 0,
H(v, 1) = A(v)-f(r) = 0,
As the embedding parameter pchanges from zero to unity, v(r, p) changes from L−1(f1(r)) to u(r).
As indicated by He's homotopy perturbation method, we can first utilize the presenting introducing parameter p as a little parameter and recognize that the course of action of (6) can be made as a power approach in p as takes after:
V = v0+pv1+p2v2+p3v3+.
Setting p=1, we get the approximate arrangement of (1)
In the going with part in the portion, it is demonstrated that the formation of the right-hand side also called a limit essentially impacts the measure of figuring and the speed of meeting of the course of action [8].
Improvement of another homotopy in light of the decay of a source work
Allow us to consider the going with breaking point regard issue with the accompanying in homogeneous PDE:
Ux(x,y) + a(x,y)uy(x,y) + b(x,y)g(u) = f(x,y)(8)
            u(0, y) = h(y),              (9)
where a, b, g and f are steady capacities in some region of the plane and g(0)=0. By dealing with this farthest point regard issue by the homotopy annoyance technique, we acquire a, we get an inaccurate or correct arrangement u(x,y). Before proceeding with further, let us integral operator S characterized in the going with shape:                                                      
At that point the subsidiary of operator S as for y is characterized as
Creating f(x,y) as a total of two points of confinement f(x,y)=f1(x,y)+f2(x,y) and after that building a homotopy in condition, we have
which is equivalent to
H(v,p)=vx(x,y)−f1(x,y)+p(a(x,y)vy(x,y)+b(x,y)g(v(x,y))−f2(x,y))=0.                                       (12)
Substituting (7) into (12), and looking coefficient of the terms by a relative power in p, we have
If at all there would be a relationship which exists then
a(x,y)[Sy(f1(x,y))+hy(y)]+b(x,y)g(S(f1(x,y))+h(y))=f2(x,y)       (14)
Between f1(x,y)and f2(x,y), then we have from (13)
Then we can consider that the estimation or also called as correct arrangement of issue is  (8)- (9) which can be termed as
the main source capacity which is obtained from the previous equation in the same structure.
            f(x,y)=f1+a(x,y)[Sy(f1)+hy(y)]+b(x,y)g(S(f1)+h(y))       (15)
Along these lines condition is a fundamental condition to enliven the merging. In the occasion that condition has an arrangement, then we gain the estimated or right course of action of issue in two phases [9].
In any case, it is not by and large possible to detach the source work f(x,y) in a way that the limits f1(x,y) and f2(x,y) have the relationship. If we have such a case, then we are hunting down a self-conclusive P(x,y) with the bona fide focus on that the purposes of repression f1(x,y) and f2(x,y) have the running with relationship:
a(x,y)[Sy(f1)+hy(y)]+b(x,y)g(S(f1)+h(y))=f2+P(x,y)                                                     (16)
For this condition, we get the unforgiving or right game plan of the issue in more than two phases. In addition, we can get the blueprint as strategy.
A Detailed Examination of the new homotopy perturbation method for linear problems
In this area we address the hypothesis of the new homotopy inconvenience system given for some wonderful f(x,y)in the running with straight issue:
Ux(x, y) + a uy(x, y) + bu(x, y) = f(x, y)         
u(0, y) = h(y), where a and b are constants.
Case 1: the source work f(x,y)is a polynomial
We consider that h(y) = 0 and f(x,y) is a n th-orchestrate polynomial in issue (17)- (18). From this time forward f(x,y) can be formed in the going with structure:
Where Aαβ are constants and α, β are standard numbers. On the off chance that the polynomial f(x,y) is deteriorated as
from (15), we can get the arrangement of the issue in two stages. We take f1(x,y) as a n th-coordinate polynomial given as [10]
where cαβ are constants. Then S(f1(x,y)) becomesand Sy(f1(x,y)) becomes
Keeping in mind the end goal to decide the obscure coefficients cαβin terms of Aαβ, we substitute:
            f(x,y)=f1(x,y)+aSy(f1(x,y) +bS(f1(x,y))
With this homotopy which is constructed by the result:
leads us to reaching the solution in two steps [11].

Problem 1:

Consider the inhomogeneous straight boundary value problem (BVP) with steady coefficients 
uxuy+u=ey+ex,u(0,y)=ey      (32)
The homotopy given below is constructed:
H(v,p)=(1p)(vxr1(x)−t1(y))+p(vxvy+vexey)=0,   (33)
which is equivalent to
H(v,p) = vxr1(x)−t1(y)+p(−vy+v+r1(x)+t1(y) −exey)=0,          (34)
we get the capacities r1(x), t1(y) as it is cleared up. Plainly t1(y)=ey satisfies condition. Also, from condition, r1(x) can be found as takes after:  then we get the given below equation
Hence, the solution u(x,y)
The answer we get out of the problem which will be with an minimum amount of calculation.
Problem 2:
From the given below equation that is the inhomogenous linear BVP with coefficients of variables.
                        u(0, y) = 0;
In the given below equation which is on the right hand capacity f(x,y) the polynomial  is a thirdarranged.  It is given as
From the main functionf(x,y)=2y2+2xy2, if we take f1(x,y) as
f1(x,y)=a1x3+a2x2y+a3xy2+a4y3+a5x2+a6xy+a7y2+a8x+a9y+a0        (40)
and substitute (40) into (39), we obtain
The outcome we get is given as f1(x,y)=2y2,
The Homotopy is given in the format  that is f2(x,y)=2xy2
and the result is :
Finally we get the corrected equaiton in this format such as with the help of Calculation of short-length:                 
(x,y) = v0 = 2xy2                             (42)
In this paper, we use another homotopy perturbation procedure to get the methodology of a first-make inhomogeneous PDE. In this system, each decay of the source work f(x,y) prompts to another homotopy. In any case, we develop a framework to get the best decay of f(x, y) which grants us to get the procedure with scarcest estimation and empower the meeting of the approach. This study displays that the destroy of the source work in a general sense impacts the measure of estimations and the engaging of the meeting of the strategy.Veering from the standard one, breaking disconnected the source work f(x, y) truly is a direct and to an incredible degree inciting instrument for figuring the great position or antagonistic outlines with less computational work. Exceptional in association with all other exact frameworks, it gives us a reasonable approach to manage adjust and control the meeting zone obviously of activity by picking appropriate estimations of partner parameter h, helper work H(t) and right hand coordinate regulator L. In addition we displayed that homotopy trouble strategy is the magnificent event of homotopy examination framework. here are some imperative focuses to make here. In the first place, we have incredible flexibility to pick the helper parameter h, assistant capacity H(t) and assistant straight administrator L and the underlying conjectures. Second the HAM was appeared to be straightforward, yet capable investigative numeric plan for tackling different nonlinear issues.
1.      Biazar, J., & Ghazvini, H. (2009). Convergence of the homotopy perturbation method for partial differential equations. Nonlinear Analysis: Real World Applications, 10(5), 2633-2640.
2.      He, J. H. (2003). Homotopy perturbation method: a new nonlinear analytical technique. Applied Mathematics and computation, 135(1), 73-79.
3.      Biazar, J., & Ghazvini, H. (2008). Homotopy perturbation method for solving hyperbolic partial differential equations. Computers & Mathematics with Applications, 56(2), 453-458.
4.      Liao, S. (2003). Beyond perturbation: introduction to the homotopy analysis method. CRC press.
5.      Berger, M. S. (1977). Nonlinearity & Functional Analysis: Lectures on Nonlinear Problems in Mathematical Analysis (Vol. 74). Academic press.
6.      Harker, P. T., & Pang, J. S. (1990). Finite-dimensional variational inequality and nonlinear complementarity problems: a survey of theory, algorithms and applications. Mathematical programming, 48(1-3), 161-220.
7.      Whitehead, G. W. (2012). Elements of homotopy theory (Vol. 61). Springer Science & Business Media.
8.      Pólya, G., & Szegö, G. (1997). Problems and Theorems in Analysis II: Theory of Functions. Zeros. Polynomials. Determinants. Number Theory. Geometry. Springer Science & Business Media.
9.      Liao, S. (2012). Homotopy analysis method in nonlinear differential equations (pp. 153-165). Beijing: Higher education press.
10.  Liao, S. J., & Cheung, K. F. (2003). Homotopy analysis of nonlinear progressive waves in deep water. Journal of Engineering Mathematics, 45(2), 105-116.
11.  Ayub, M., Rasheed, A., & Hayat, T. (2003). Exact flow of a third grade fluid past a porous plate using homotopy analysis method. International Journal of Engineering Science, 41(18), 2091-2103.

12. He, J. H. (2005). Homotopy perturbation method for bifurcation of nonlinear problems. International Journal of Nonlinear Sciences and Numerical Simulation, 6(2), 207-208.