International Journal of Applied and Behavioral Sciences (IJABS)

Higher Order Haar Wavelet Collocation Method Enhanced Precision, Convergence, and Applications to Nonlinear Differential Equations

Abstract

This paper presents the Higher-Order Haar Wavelet Collocation Method (HHWCM), an advanced numerical technique designed to address the limitations of the traditional Haar Wavelet Collocation Method (HWCM). By incorporating higher-order polynomial extensions into the Haar wavelet framework, the proposed method enhances precision and achieves faster convergence rates. The HHWCM is developed to effectively solve nonlinear ordinary differential equations (ODEs) under a wide array of conditions, including initial conditions, boundary conditions, periodic conditions, two-point conditions, integral conditions, and multi-point integral boundary conditions. The study begins with a theoretical foundation of HHWCM, demonstrating its improved approximation capabilities through convergence analysis and error estimation. This study underscores the versatility and potential of HHWCM as a robust computational tool for addressing nonlinear differential equations in scientific and engineering applications. The findings open avenues for extending the method to partial differential equations (PDEs) and exploring its integration with machine learning techniques to enhance numerical modelling and simulation in future work.

Keywords:Numerical method, Wavelet, Non-linear, Convergence, Collocation.

Introduction

First-order hyperbolic equations with two independent variables x and t are solved using a finite difference method. Typically, the first variable is space, while the second is time. For hyperbolic equations, a fundamental difficulty is constructing finite difference schemes that are both stable and do not damp out of the solution. Initial and initial-boundary value approximation algorithms are developed in this suggested study.

Motivation

First-order hyperbolic partial differential equations have a rich literature. It took a long time and a lot of work to create parameteric estimation techniques for Initial value and Initial-boundary value issues problems and initial-boundary value problems. Gottlieb et al (1987), Bo (1998), and Coulombel (2009) investigated the performance of finite – element strategies for 1st first order hyperbolic initial-boundary value problems using vectors value functions having L2(IR+, IRN). Semi-distributed approximations to the starting and boundary value issue were addressed by Warming and Beam in 1988.

(1)

Wherein L2[0, A] is “a > 0” and “v(t) =0” . Using wavelets, Sekino and Hamada in 2008 derived a numerical solution to the Advection problem ut + (a(x)u) x = 0. Despres and Teng in 2009 and 2010 respectively developed finite-element techniques for the initial value problem.Ut+aUx = 0, x ϵℝ, t ϵℝ+,

…………………(2)

For constrained initial functions u0 with discontinuous starting values. Motivated by the development of numerical methods to start initial-boundary value problems, these works are published.

Problem Formulation

Initial Value Issue (IVP) on an infinite interval is the initial model problem in this suggested study.

A(x) is greater than or equal to zero for all nonnegative values of x between IR+ and C(IR+), which is known as the initial condition. Wave propagation in homogeneous mediums is modelled by Equation (3).

IBVP (Initial-Boundary Value Issue) is an IB model problem that may be described as

Assuming “a > 0” & specification of the boundary condition v(t) at x = 0. There are no errors in this boundary condition since the information is flowing from left to right and the compatibility criterion is met (0).

With IVP (3), there is no boundary condition, and hence, no IVP (4). Many scenarios need this latter requirement.

For the issues IVP (3) and IBVP (4), the semigroup theory was heavily used in order to construct a completely discrete convergent numerical method. To solve the initial-boundary value issue, semigroup theory offers an elegant solution.

PRELIMINARIES

Theorem of Pazy (1983) was the primary tool employed in this study, and this section provides basic definitions and a specific instance.

Theorem 1. Assume X is a Banach space consisting of standard ǁ ǁ. Assuming, X has denser D(A) such that A: D(A) −→ X is a continuous (linear) projection. Further, λ is there, with

ℜ(λ) > 0 wherein the range “λI – A” is dense in X. Let Xn be the Banach spaces consisting of standards ǁ ǁn. Furthermore, there are bounded linear operators, “Pn: X → Xn and En: Xn → X” for every n ≥ 1 such that

(i) ∥Pn∥≤ C1, ∥En∥≤ C2, with C1 and C2 represented as constants that are not ependent on n.
(ii) ∥Pn x ∥n→∥x∥ as n→∞ for every xϵ X.
(iii) ∥En Pn x – x ∥→0 as n→∞ for every xϵ X.
(iv) Pn En = In (I n :identity operator on Xn)

Define F (τ n) as a series of constrained linear operations spanning Xn to Xn fulfilling ∥F(τn) k ∥ ≤ 1. (5)

In addition to this, the constrained linear maps

have the property that

and that

for all x ∈ D(A). A’s closure (A ̅) is therefore the indefinite constructor of contracting mappings “S(t) on X”. Furthermore, if knτn → t as n → ∞, then

It is permissible to refer to a generalized, solution as “solutions” in the following paragraphs.

If α = (α0, α1, …, αk), then let the notation α (i)=αi

For x ∈ℝ, [x] = sup {n ∈ Z: n ≤x}

Theorem 2 Theorem (Hille-Yosida Theorem). An infinitesimal generator of the C0 semigroup of contractions T (t), t 0 can only be generated by a linear (unbounded) operator A,

(i) D(A) = X, since A is closed

(ii) IR+ is present in ρ(A), the resolvent set of A. Further, The resolvent set ρ(A) of A for every λ > 0, ∥R(λ:A)∥≤1/λ (7)

IVP AND IBVP EXACT SOLUTIONS

For the start and initial-boundary value problems covered in this study, this section provides the precise solution.

IVP exact solution

The solution to eq (3) is provided by:

Using u (x, t) data on a bounded domain, we were able to calculate the solution of (3) that was bound not compulsorily on a bounded domain, numerically. This conclusion is made possible by the following theorem.

Theorem 1. Assuming “∈ C [0, ∞)” and “a(x) > 0” for every x ∈ IR+. Assume M > 0 and T > 0.

Define aM: [0, M] → IR as

Letting f ∈ C [0, M]. The problem’s solution is

Is existing and unique in nature. It is provided as

Further,

creates a contracting subclass on C [0, M] with the generator

V (x, t) = u (x, t), (x, t) ϵ [0, N] × [0, T] … (9)

given “f ∈ C [0, M]” as the constraint of u to [0, M].

Proof. Defining t ≥ 0, “Tt: [0, M] → [0, M]” as

It is now simple to demonstrate that Ts+t = Ts ◦ Tt.

Additionally, because “St f(x) = f (Tt x)”, it is simple to show that St is a subgraph.

Thus, according to the Hille-Yosida Theorem, Now, by Hille-Yosida Theorem, if St generator is B,

Then,

Here

Considering the differential equation,

which is equivalent to

Since, there exists unique solution for every “h ∈ X” i.e., f ∈ D(A) to the preceding differential equation that is provided as,

For the operators A and B, it can be demonstrated that (I – A) 1 = (I–B) 1.

“D(A) = D(B)” and for any “g D(A)”, “Bg = Ag” may be deduced from this.

For t [0, T] and x [0, N], it is for sure a growing derivative/ function

Hence

This leads to the conclusion that “St f(x) = V (x, t) = u (x, t)” for every “x ∈ [0, N]” and “t ∈ [0, T]”.

IBVP exact solution

Theorem 2

. Assume “u ∈ C [0, 1]” and “v ∈ C [0, ∞)” in such a way that “u (0) = v (0)”.
Defining u0 (x) = u0 (x) − u0 (0). For “U” as a solution to (4), its also a solution to

and V is a solution to

Then, “U (x, t) = U (x, t) + V (x, t)”. Furthermore, for “T > 0”, contracting subgroups s.t., are defined

“X → X” where “X = {u ∈ C [0, 1]: u (0) = 0}” and “T(x): Y → Y”

Wherein, “Y = C [0, T]” as

Then “U (x, t) = Su0(x) + Σ x w(t) for all (x, t) ∈ [0, 1] × [0, T]”,

W: represents constraint of “v to [0, T]”.

Furthermore, if A and B represent the St and Tx generators, respectively, then

“D(A) = {g ∈ X: g ′ ∈ X}, D(B) = {g ∈ Y: g ′ ∈ Y and g ′ (0) = 0}, Ag = −ag′ for all g ∈ D(A)” and “B g = −1 a g ′ for all g ∈ D(B)”.

Convergent numerical technique for IVP and IBVP

M AND INITIAL-BOUNDARY VALUE PROBLEM

In this lesson, we’ll go through how to solve the starting value and initial boundary value issues numerically convergently. It is possible to solve the initial value issue by posing it on a smaller bounding box, and then solving it on a larger bounding box with the same answer. An improved numerical solution to the modified issue is indistinguishable from the original answer on the smaller constrained region. Decomposing the initial-boundary value issue into two problems, each of which generates a semigroup, allows for the presentation of discrete semigroup approximations.

The IVP and a Convergent Numerical Scheme

M > N and an initial value problem given on [0, M] [0, T] whose answer absolutely corresponds to the solution of (3) on [0, N] [0, T] for any subset of [0, N] [0, T] are possible for the initial value issue (3). IR+ IR+ IR+ IR+ IR+ On [0, M] [0, T], create a finite difference scheme that converges to the solution of the problem provided in (3) on [0, N] [0, T].

This finding is made easier by the following theorem.

Theorem 1.

Assume “X = C [0, M]” & “A”. Let Xn = IRn+1 whose elements are denoted as α = (α0, α1, . . . αn). The supremum standard is applied to both X and Xn spaces. Finally, defining

Pn: X → Xn as (Pnf)i = f (iM/n), i = 0, 1, . . . n.

En: Xn → X as

En(α) represents “piecewise linear function” having En(α)(iM/n) = αi. Let

Defining operations “F (τn): Xn → Xn“ as

Choosing kn = t/τ_n , it can be shown thats

Particularly, fixing “t ∈ [0, T]” & “x ∈ [0, N]”,

Where, where u (x, t) represents a solution to (3).

Proof. Since Pn is clearly linear, ||Pn || 1. The fact that (ii) of Theorem 1 is true may be deduced with norms’ definitions from the definitions of the norms & constant continuance of component X. That ||En|| 1 is simply obtained

When you consider the definitions of En and Pn as well as the uniform continuation of the element X in Theorem 1, it becomes clear that (ii) is true. Formulating differential equation leads to the definition of F(n) which is now simple. To illustrate, let’s look at the (iM/n, jn) lattice functions for “I = 0, 1, 2, …” and (“j = 0, 1, 2, … in the (x, t) plane”).

Assume V (iM/n, jτn) = ui,j . Taking into account the sup x∈ [0, M] aM(x) > 0, τn is defined clearly. Take a look at the difference equation that corresponds to the differential equation in (8) is

which can be simplified as

It is possible to calculate all ui,j by using the preceding method for ui,0. The formula for fi is f(iM/n) = fi.

Now,

Therefore, ||F(τn) || ≤ 1, holding the theorem 1’s stability condition (5).

For, f ϵ D,

Because “f ∈ D”, “Af “ is consistently periodic on “[0, M]” the R.H.S of (14) goes to 0 as n tends to infinity (n → ∞). As a result, Theorem 1 (3.6) is fulfilled.

Using Theorem 1, one must prove that for any > 0, the range “I – A” in X is dense. However, the range of I A is previously demonstrated to include all of X in Theorem 1. Theorem 1’s formulation of (I B) 1h khk may also be used.

ConclusionLogic of partial functions as it is now understood is summarize and some directions for future research are suggested in this brief final study. This thesis was introduced by stating that partial functions have better logical and computational features than binary relations. This is worth repeating. This thesis’s findings only serve to support this point of view. A first-order definition of an operation is one which may be defined according to the basic theorem. When it comes to these kinds of operations, it has already been proven that the representation classes are typically finitely axiomatisable and have equational theories of low complexity, the finite representation property is fulfilled and representability of finite algebras is easily decided. Moreover, similar observations seem to apply to functions with several locations. It’s all the opposite of what happens in relationships. If we want to reason about programe represented by code written in any general-purpose (i.e., Turing-complete) language, we must be able to articulate some kind of unbounded iteration mechanism. However, translating in this manner yields results only if the signature contains anti-domain. Including anti-domain would be problematic if we were trying to describe partial recursive functions with no constraints, as finding the places where partial recursive functions are undefined is not an universal and effective computation that can be expressed in any programming language.
References

  1. Smith, H. An Introduction to Delay Differential Equations with Applications to the Life Sciences, Text Book in Applied Mathematics, Vol. 57, First Edition, 2011.
  2. Marcel Jackson and Tim Stokes, “Modal Restriction Semigroups: Towards an Algebra of Functions,” International Journal of Algebra and Computation 21 (2011), no. 7, 1053–1095.
  3. Ian Hodkinson, “A Construction of Cylindric and Polyadic Algebras from Atomic Relation Algebras,” Algebra Universalis 68 (2012), no. 3, 257–285.
  4. Robin Hirsch and Szabolcs Mikulás, “Axiomatizability of Representable Domain Algebras,” The Journal of Logic and Algebraic Programming 80 (2011), no. 2, 75–91.
  5. Robin Hirsch and Brett McLean, “Disjoint-Union Partial Algebras,” Logical Methods in Computer Science 13 (2017), no. 2:10, 1–31.
  6. Robin Hirsch, Marcel Jackson, and Szabolcs Mikulás, “The Algebra of Functions with Antidomain and Range,” Journal of Pure and Applied Algebra 220 (2016), no. 6, 2214–2239.
  7. Robin Hirsch and Marcel Jackson, “Undecidability of Representability as Binary Relations,” The Journal of Symbolic Logic 77 (2012), no. 4, 1211–1244.
  8. Robert Goldblatt and Marcel Jackson, “Well-Structured Program Equivalence is Highly Undecidable,” ACM Transactions on Computational Logic 13 (2012), no. 3, 26:1–26:8.
  9. Simon Foster, Georg Struth, and Tjark Weber, “Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL,” Proceedings of the 12th Conference on Relational and Algebraic Methods in Computer Science (Harrie de Swart, ed.), Springer, 2011, pp. 52–67.
  10. Robert Egrot and Robin Hirsch, “Completely Representable Lattices,” Algebra Universalis 67 (2012), no. 3, 205–217.
  11. Wiesław A. Dudek and Valentin S. Trokhimenko, “Subtraction Menger Algebras,” Semigroup Forum 85 (2012), no. 1, 111–128.
  12. Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez, “Moving Fast with Software Verification,” Proceedings of the 9th NASA Formal Methods Symposium, Springer, 2015, pp. 3–11.