The two species Lotka-Volterra competition model and its variants have been rigorosly investigated in the last few decades They represent a simplified scenario of two competing species, taking into account growth and inter/intra species competition [24, 49] . They predict well observed states in ecology, of co-existence, competitive exclusion of one competitor, and bi-stability -and find immense application in applied mathematics, population ecology, invasion science, evolutionary biology and economics, to name a few areas [49, 26, 27, 29] . The equilibrium states are achieved only asymptotically, as is the case in many differential equation population models. In the current manuscript, we aim to investigate the effect on classical system, when one of the competitors has the potential to go extinct in finite time. There are various motivations to study finite time extinction (FTE) in population dynamics. For example if we are modeling predator-prey densities, then a quantity less than one need not indicate essential extinction -and pest populations could rebound from low levels [20] . This is well observed with soybean aphids (Aphis glicines), the chief invasive pest on soybean crop, particularly in the Midwestern US [11] , that arrival of aphids in very low density (<< 1) could lead to population levels of several thousand on one leaf, in a matter of 1-2 months [6] . Another motivation is epidemics, very timely due to the current epidemic because of the COVID19 virus [7] . Recent work [12, 13] has considered a large class of susceptible-infected models with non-smooth incidence functions, that can lead to host extinction in finite time -but are seen to be good fits to modeling disease transmitted by rhanavirus among amphibian populations [18] , disease transmission in host-parasitoid models [14] , as well as in virus transmission in gypsy moths [10] . Non-smooth responses have been considered analytically in the predator-prey literature too [19, 21, 22] , a careful analysis of this splitting of phase, initial condition dependent extinction, and all of the rich dynamics and bifurcations involved therein, have been considered in [1, 2] , to the best of our knowledge. They however, have been considered a fair bit in the applied sense due to the good fit they provide to various real data [4, 8, 9, 5] .
In the current manuscript we show that,
• FTE in the weaker competitor in the two species ODE Lotka-Volterra competition model, can enable it to avoid competitive exclusion, and persist. This is seen via Lemma 2.2, see Fig. 1 
where u and v are the population densities of two competing species, a 1 and a 2 are the intrinsic (per capita) growth rates, b 1 and b 2 are the intraspecific competition rates, c 1 and c 2 are the interspecific competition rates. All parameters considered are positive constants. We consider first the competitive exclusion case,
In this setting, as t → ∞, the solutions (u(t), v(t)) converges uniformly to (a 1 /b 1 , 0) or (0, a 2 /b 2 ) irrespective of initial conditions. WLOG we consider the case when (a 1 /b 1 , 0) is globally asymptotically stable, thus u is the stronger competitor and drives v to extinction, and v is said to be competitively excluded [3] .
We posit that v can avoid competitive exclusion by (1) counter intuitively speeding up the process to its own demise, via a finite time extinction (FTE) dynamic or also (2) if the stronger competitor u possessed the FTE dynamic. To this end consider,
We see that the classical model is a special case of the above, when p = q = 1. Note, 0 < p < 1, q = 1, allows for finite time extinction (FTE) of u, and 0 < q < 1, p = 1, allows for finite time extinction (FTE) of v.
Lemma 2.1. Consider (4), q = 1 and (2) holds, then there exists 0 < p < 1, for which an interior saddle equilibrium occurs.
Proof. The u and v nullclines are given by,
Now f (u) is a parabolic shaped polynomial, with zeroes at u = 0, u = a1 b1 . Since the v nullcline is unmoved, continuity of f , and the intermediate value theorem will ensure that there is an intersection of the nullclines in the interior, creating an interior equilibrium. Standard linear analysis proves this is a saddle.
For the linear analysis, see Appendix 6. Also see Fig. 1 . Now consider the case where v possesses the FTE dynamic.
Lemma 2.2. Consider (4), p = 1 and (2) holds , then there exists 0 < q < 1, for which two interior equilibria occur, a saddle and a nodal sink.
Proof. We consider the nullclines as functions of v. The u and v nullclines are given by,
Again via (2) we must have,
We proceed by contradiction. Assume there is no intersection of the nullclines for any v ∈ 0, a1 c1 , and any 0 < q < 1. Then we must have that f 1 (v) > g 1 (v), for v ∈ 0, a1 c1 , and any 0 < q < 1. This implies,
WLOG let 0 < 1 − q = a 2b < 1, thus we must have,
The power of 2 in exponent guarantees positivity, even though for a2 b2 < v ≤ a1 c1 ,
Thus from (9), we obtain 0 < a1 c1 < 0, which is a contradiction. Thus there must exist some v * ∈ 0, a1 c1 , and some 0 < q < 1, s.t. f 1 (v * ) < g 1 (v * ). Now using continuity of g 1 and the intermediate value theorem, gives us two intersections, thus two equilibria. Standard linearization shows one to be a saddle, the other is seen to be locally stable by standard theory.
For the linear analysis, see Appendix 6. Also see Fig. 1 . Remark 1. Note, when 0 < p, q < 1 the kinetic terms are non-smooth, causing issues for uniqueness. Linearization at interior equilibrium is not effected. However, standard linearization methods do not work for boundary equilibria due to the nonsmootheness. WLOG if p = 1, 0 < q < 1, (u * , 0) would be attained by v → 0 in a finite time, followed by an asymptotic rate of attraction to u * . So initial data taken on the u-axis, can lead to non-uniqueness backwards in time. This can be circumvented if we avoid data on the u-axis. Such and related issues have been dealt with in [20, 1, 12, 2] .
We derive a sufficient condition on the initial data that yields FTE of the stronger competitor. This is stated and proved via the following theorem, Theorem 2.3. Consider the competition model given by (4), where 0 < p < 1, q = 1, and (2) holds. The stronger competitor u(t) with initial conditions u(0) > 0, v(0) > 0 will go extinct in finite time, if v(0) > f (u(0)), and trajectories will approach (0, a 2 /b 2 ). Here f is as in (18) . However, if (u(0), v(0)) lies below the stable manifold W s (E 3 ), of the interior saddle equilibrium, then all trajectories initiating from them will approach (a 1 /b 1 , 0) asymptotically.
Proof. Consider the equation for initial condition 0 < u(0) ≤ a1 b1 . Then
This follows as u ≤ a1 b1 , if initially so, by comparison to logistic equation. Also we consider q = 1. Thus,
for all time t ≥ 0.
Here C is given by v(0) > a 1 c 2 e a1c2C .
Now we can divide the above by u p since u is positive, to obtain,
multiplying both sides by the integrating factor e −(1−p)a1t , and subsequently integrating the above in the time interval [0, t] with t ≤ T * , we obtain
Which then implies the finite time extinction of u, if
Thus we choose f according to
and for initial data chosen s.t v(0) ≥ f (u(0)), u will go extinct in finite time. This proves the theorem.
We provide some simulations next to elucidate. 
Here we consider the case
The classical theory for p = 1, predicts that all initial conditions would be attracted to a interior equilibrium. In this setting the competitors u and v coexist. However, this is not the case if 0 < p < 1.
We state the following theorem.
Theorem 2.4. Consider the competition model given by (4) , where 0 < p < 1, q = 1, and (19) holds. The competitor u(t) with initial conditions u(0) > 0, v(0) > 0 will go extinct in finite time, if v(0) > f (u(0)), and trajectories will approach (0, a 2 /b 2 ). Here f is same as in Theorem 2.3. However, if (u(0), v(0)) lies below the stable manifold W s (E 1 3 ) of the interior equilibrium, then all trajectories will approach the stable interior equilibrium E 2 3 . The proof is as of Theorem 2.3.
Assume the classical competition model when p = q = 1 in model (4) , and the condition in (19) holds true, here the competitors coexist. There is a critical window of parameter c 1 ∈ [c * 1 , c * * 1 ], for which there are two interior equilibria for 0 < p < 1 and no interior equilibrium for 0 < q < 1. Furthermore, there is a critical window of parameter c 1 ∈ [c * * * 1 , c * * * * 1 ], for which there is no interior equilibrium for 0 < p < 1 and there are two interior equilibria for 0 < q < 1.
We provide some simulations next to elucidate the conjecture. (4) for
We consider a generalized version
here we consider a bounded domain Ω ⊂ R n , n = 1, 2. Under the strong competition setting,
When p = 1, classical results show that in the absence of diffusion, there is a stable manifold of the saddle equilibrium (separatrix) denoted as h, that splits the phase space into 2 regions, W B the region above the separatrix -Note, for initial data (u(x, 0), v(x, 0)) ∈ W B ∀x ∈ Ω, the solution converges to (0, a2 b2 ). Likewise, W A is the region below the separatrix, and for initial data (u(x, 0), v(x, 0)) ∈ W A ∀x ∈ Ω, the solution converges to ( a1 b1 , 0). We recap a classical result from [51, 39] , to this end.
Theorem 3.1 (Diffusion induced extinction). Let (u, v) be a solution of (20)- (21) , and p = q = 1. Suppose that h ≤ 0. Then there exists initial data such that (u(x, 0), v(x, 0)) ∈ W B ∀x ∈ Ω, but the solution initiating from this data converges uniformly to ( a1 b1 , 0). This can change when the FTE dynamic is present.
Remark 2. Note, the FTE dynamic could hinder well posedness due to the nonsmooth term u p , 0 < p < 1, in (20) . Two species semi-linear reaction diffusion systems have been considered in [15] , where there are non-smooth terms in one of the equations -such as in our case. The key tool used to show existence of bounded global in time, classical solutions, is a weak comparison principle method [15] . This is for the dirichlet boundary condition however. Recently such problems have also been investigated in the case of more complicated boundary conditions, [16] . In general, there could be data that lead to non-unique solutions, however, for certain given data, one has weak/classical solutions to the class of problems considered herein [17] , even for the neuman problem. Our goal is not to demonstrate well (or ill) posedness here, more to focus on the dynamical changes that the 0 < p < 1 can bring about, and the many ecological consequences therein.
We state and prove the following result, 21), under the strong competition case (22) , when p = 1, and initial data (u 0 (x), v 0 (x)) ∈ W B ∀x ∈ Ω, that converges uniformly to ( a1 b1 , 0), for some d 2 , d 1 > 0. Then ∃ p < 1, s.t solutions to (20)- (21) , from the same initial data (u 0 (x), v 0 (x)) ∈ W B converge uniformly to (0, a2 b2 ), as long as equations (26)-(28) hold. Proof. For the constant coefficient case as we are dealing with herein, solutions are spatially homogeneous [51, 39] , thus our system is reduced to
Standard estimates as in theorem 2.3, yield the finite time extinction of u for initial data chosen s.t. Note, analysis of the ODE/kinetic system, via a simple modification of Lemma 2.1, see Fig. 1 , clearly shows that when p < 1, the interior equilibrium is lowered, and so is the separatrix. We refer to the separatrix for the 0 < p < 1 case as h 1 . Now consider when p = 1, initial data (u 0 (x), v 0 (x)) ∈ W B , for which diffusion induced extinction occurs. Since (u(x, 0), v(x, 0)) ∈ W B , it lies above the separatrix h, and by the concavity assumption on h, h lies above the line segment connecting (0, 0) and (u * , v * ), which is given by the equation
Thus if we choose p s.t h 1 is lowered enough s.t f 1 (u 0 ) < f 2 (u 0 ), for certain u * 0 , then there exists data (u * 0 , v * 0 ) ∈ W B (for which diffusion induced extinction occurs if p = 1), but that lies above the separatrix h, which in turn lies above f 2 (u 0 ), which by the appropriate choice of p < 1 lies above f 1 (u 0 ), which lies above h 1and so will converge uniformly to (0, v * ), and diffusion induced extinction does not occur, when p < 1. To this end it is sufficient that,
and,
A sufficient parametric restriction for which the above is true is given by
This proves the theorem. The red dots are the data, that lie above the separatrix when p = 1, we see diffusion induced extinction occur, that is we approach ( a1 b1 , 0) in this case -see Fig. 6 . When p < 1, the same data converges to (0, a2 b2 ), see Fig. 7 .
The Spatially Inhomogeneous Problem. The spatially inhomogeneous problem has been intensely investigated in the past 2 decades [26, 28, 30, 34, 35, 36, 37, 38, 40, 47, 48, 46, 45, 44, 54, 53] . The premise here is that u, v do not have resources that are uniformly distributed in space, rather there is a spatially dependent resource function m(x). We consider again a normalized generalization of the classical formulation, where there are 2 parameters b, c for inter/intra specific kinetics, as opposed to 6 from earlier. The parameter p, enables FTE in u.
∇u · n = ∇v · n = 0, on ∂Ω , u(x, 0) = u 0 (x) > 0, v(x, 0) = v 0 (x) > 0.
Note, p = 1, is the classical case. We consider m to be non-negative on Ω, and bounded. We recap a seminal classical result [32, 33] , Theorem 3.3 (Slower diffuser wins). Consider (29)- (30) , when b = c = p = 1, and d 1 < d 2 , solutions initiating from any positive initial data (u 0 (x), v 0 (x)) converge uniformly to (u * (x), 0).
That is, the slower diffuser wins, in the case of equal kinetics. However, a difference in the inter specific kinetics can cause the slower diffuser to loose, depending on the initial conditions. We now state the following result in one spatial dimension, 
There exists positive initial data (u 0 (x), v 0 (x)), for which solutions converge to (u * (x), 0), but solutions with the same diffusion coefficients, initiating from the same data, will converge to (0, v * (x)) in finite time, for a sufficiently chosen 0 < p < 1.
Proof. Via comparison with the logistic equation [26] , we see that u ≤ Cm(x), ∀x, t ∈ Ω × [0, ∞). Now from the equation for v in (29), we have,
where C 1 , C 2 , are independent of u. We now multiply the u equation in (29) by u and integrate by parts to obtain
Using the estimate on v from (32) we obtain
Here C 3 = C 1 min v 0 (x) > 0, then It follows that,
Thus we have that,
Our goal is to show that
where 0 < α < 1, then we will have the finite time extinction of u in analogy with the ODE (36) dy
Now recall the Gagliardo-Nirenberg-Sobolev (GNS) inequality [58] ,
for φ ∈ W m,q (Ω) provided p , q , q ≥ 1, 0 ≤ θ ≤ 1, and
Now consider exponents s.t.
for 0 < p < 1. This yields
, as long as (41) 2 − q 2 + q ≤ θ ≤ 1.
We raise both sides of (40) to the power of l , 0 < l < 2, to obtain
Using Young's inequality on the right hand side (for ab ≤ a r r + b m m ), with r = 2 lθ , m = q l(1−θ) , yields
We notice that given any 1 < q < 2, it is always possible to choose 0 < l < 2,
by choosing
thus we need to choose l s.t,
This enables the application of Young's inequality above, within the required restriction (41) , enforced by the GNS inequality.
Thus we have 1 2
Let α = l 2 < 1 we have that ||u|| 2 2 → 0 as t → T * < ∞, for appropriately chosen initial data, in analogy with the ODE, (47) dy dt = C 5 y − C 4 e −C2t y α , 0 < α < 1, C 2 , C 4 , C 5 > 0.
We set y = g(t)e C5t , to obtain
Solving eqn.(48) yields
. Thus for initial data chosen s.t., g(0) < Since L 2 (Ω) convergence implies uniform convergence on Ω, which is closed and bounded, we see that for sufficiently chosen data (u, v) → (0, v * (x)) uniformly, and this occurs in finite time. However, if p = 1, classical results [32] , would imply the same data would have converged to (u * (x), 0). This completes the proof. Once we bring in FTE, that is p < 1, numerical simulations illustrate interesting scenarios in the bifurcation plots in (d 1 , d 2 ) space. See Fig. 9 (a) for the classical result [37, 38] -however, when p < 1, the bifurcation plot changes qualitatively, see Fig. 9 (b)-(c). We now define,
This motivates the following conjecture, Conjecture 2. Consider (29)- (30) . Suppose that 0 < b ≤ 1, c ∈ (c * , 1) and m is non-constant, then ∃ 0 < p < 1, s.t. If (d 1 , d 2 ) ∈ , then (u * , 0) is globally stable among all non-negative and non-trivial initial conditions; If (d 1 , d 2 ) ∈ 1 , then (0, v * ) is globally stable among all non-negative and non-trivial initial conditions; if (d 1 , d 2 ) / ∈ ∪ 1 and d 1 < d 2 , then (29) admits a unique positive steady state which is globally stable.
We also conjecture, Conjecture 3. Consider (29)- (30) . Suppose that 0 < b ≤ 1, c ∈ (c * , 1) and m is non-constant, then for certain initial data, and any > 0, ∃ 0 < 1 − < p < 1, s.t. If (d 1 , d 2 ) ∈ , then (u * , 0) is globally stable among all non-negative and nontrivial initial conditions; If (d 1 , d 2 ) ∈ 1 , then (0, v * ) is globally stable among all non-negative and non-trivial initial conditions; if (d 1 , d 2 ) / ∈ ∪ 1 and d 1 < d 2 , then (29) admits a unique positive steady state which is globally stable. The red region shows that u prevails, ie (u * , 0), blue region shows coexistence (u * , v * ) and green region shows v prevailing, ie (0, v * ). The classical results in theorem 3.5 is seen in (a) and FTE results in (b) and (c) respectively.
We consider the case where some proportion of the weaker competitor is harvested by an external controller or self regulates its population by an action such as cannibalism [43] . We ask if this "strategy" might make it possible for stabilization of weaker population. We choose parametric restrictions according to the extinction case. Let v = dv + ev, here d + e = 1, and e is the proportion of the population that will possess the FTE dynamic. If e = 0, d = 1, we are in the competitive exclusion case (2) . This leads us to the model, We see that even in this setting v can avoid competitive exclusion and persist, so coexist with the stronger competitor u.
The current manuscript considers the two species ODE and PDE Lotka-Volterra competition model, where one competitor possesses the dynamic of FTE. As mentioned this is of immense interest currently to mathematicians and ecologists alike, in particular there is effort to understand in what capacity species will "optimise" [23, 25, 31, 56] . We see that bringing in FTE can change (albeit counterintuitively) certain classical ecological scenarios. Most notably, in the ODE case, we see that the weaker competitor can avoid competitive exclusion with the FTE dynamic -this is counterintuitive as it posits, that speeding up its extinction, enables it to turn the tables on a stronger competitor and coexist. This bodes interesting consequences for bio-control applications [43] , as well as motivates the use of such mechanisms in insect resistance management strategies, where two competing biotypes of a pest species are preferred to coexist [6] -our results could be used to develop tactics in these directions. Note, from an applied point of view, the FTE can be engineered by self regulating mechanisms or external control as well, via (50), thus a future direction could be a detailed investigation of such models. Also interesting, would be considering models where the stronger competitor counters the FTE dynamic in the weaker competitor with its own FTE dynamic.
In the PDE case, Fig. 9 , is immensely interesting both from a mathematical and evolutionary point of view. Mathematically we aim to focus on a proof of conjecture 2. From an evolutionary point of view, what we see is that the FTE dynamic, takes away some of the competitive advantage the slower diffuser has, in that if d 1 < d 2 , but close to d 2 , the faster diffuser may win, and thus be selected for. This is the "green" band seen in Fig. 9 (b) . However, as p is decreased, the advantage of slow diffusion, is taken away further and only (0, v * ) is observed, Fig. 9 (c). Conjecture 3 hypothesizes, that this taking away of competitive advantage, can be done for p as close to 1 as possible -and in this setting we will see a plot qualitatively similar to Fig. 9 (b). Proving this would make for interesting future work. Another worthwhile future direction will be an extensive numerical simulation across a broader parameter range, to investigate how these dynamics might be effected. Also, such results may/may not hold in time varying environments [41] , this is also worthy of future investigations in light of the FTE dynamic. 6. Appendix 6.1. Analytic Guidelines. We present analytic guidelines in this section to analyze the model (4) and to investigate its equilibria. Consider the solutions to the steady state equations:
v a 2 − b 2 v − c 2 uv q−1 = 0.
The above equations, (51) and (52), have four types of non-negative equilibria:
(i) E 0 (0, 0); (ii) E 1 (a 1 /b 1 , 0); (iii) E 2 (0, a 2 /b 2 ); (iv) E 3 (u * , v * ); for q = 1, we have
and for p = 1, we have
The possible existence of a unique interior or multiple equilibria are shown in Figs. 1, 3, 4 and 5. Now we discuss the local stability of an interior equilibrium point. The Jacobian matrix J of the model (4) evaluated at any of the possible interior equilibria
The characteristic equation corresponding to J is given by λ 2 − tr (J)λ + det (J) = 0, where tr (J) = a 1 + a 2 − 2b 1 u * − 2b 2 v * − pc 1 u * p−1 v * − qc 2 u * v * q−1 , and det (J) = a 1 − 2b 1 u * − pc 1 u * p−1 v * a 2 − 2b 2 v * − qc 2 u * v * q−1 − c 1 c 2 u * p v * q .
Here, tr (J) and det (J) represent the trace and determinant of the Jacobian matrix. Hence the stability of E 3 (u * , v * ) is determined by the sign of det (J) and tr (J). The above results are summarized in the following theorem, 