Search

A classical result of K. L. Chung and W. Feller deals with the partial sums S k S_k arising in a fair coin-tossing game. If N n N_n is the number of “positive” terms among S 1 S_1 , S 2 S_2 , …, S n S_n then the quantity P ( N 2 n = 2 r ) P(N_{2n} = 2r) takes an elegant form. We lift the restriction on an even number of tosses and give a simple expression for P ( N 2 n + 1 = r ) P(N_{2n+1} = r) , r = 0 r = 0 , 1 1 , 2 2 , …, 2 n + 1 2n+1 . We get to this ansatz by adaptating the Feynman–Kac methodology.

We show that a relative entropy condition recently shown by Leger and Vasseur to imply uniqueness and stable $L^2$ dependence on initial data of Lax 1- or $n$-shock solutions of an $n\times n$ system of hyperbolic conservation laws with convex entropy implies Lopatinski stability in the sense of Majda. This means in particular that Leger and Vasseur's relative entropy condition represents a considerable improvement over the standard entropy condition of decreasing shock strength and increasing entropy along forward Hugoniot curves, which, in a recent example exhibited by Barker, Freist\"uhler and Zumbrun, was shown to fail to imply Lopatinski stability, even for systems with convex entropy. This observation bears also on the parallel question of existence, at least for small $BV$ or $H^s$ perturbations, Comment: to appear in Proceedings of the AMS

In a recent paper, Chao-Ping Chen and Feng Qi (2005) established sharp upper and lower bounds for the sequence P n := 1.3 … ( 2 n − 1 ) 2.4 … 2 n P_{n}:=\frac {1.3\ldots (2n-1)}{2.4\ldots 2n} . We show that their result follows easily from a theorem of G. N Watson published in 1959. We also show that the main result of Chen and Qi’s paper is a special case of a more general inequality which admits a very short proof.

Concerns have been voiced about the correctness of certain technical points in DiPerna’s paper (Comm. Math. Phys. 91 (1983), 1–30) related to the vacuum state. In this note, we provide clarifications. Our conclusion is that these concerns mainly arise from the statement of a lemma for constructing the viscous approximate solutions and some typos; however, the gap can be either fixed by correcting the statement of the lemma and the typos or bypassed by employing the finite difference methods. In [Di], DiPerna found a global entropy solution of the isentropic Euler equations for the following exponents in the equation of state for the pressure: γ = 1 + 2/(2m+ 1), m ≥ 2 integer. (1) He divided his arguments into the following two steps. 1. Compactness framework Assume that a sequence of approximate solutions (ρ (x, t),m (x, t)), 0 ≤ t ≤ T , satisfies: (i). There exists a constant C(T ) > 0, independent of > 0, such that 0 ≤ ρ (x, t) ≤ C, |m (x, t)/ρ (x, t)| ≤ C; (ii). For all weak entropy pairs (η, q) of the isentropic Euler equations, the measure sequence η(ρ ,m )t + q(ρ ,m )x is contained in a compact subset of H −1 loc (R× [0, T ]). If γ satisfies (1), then the sequence (ρ (x, t),m (x, t)) is compact in Lloc(R× [0, T ]). The reason for the restriction on the number γ is that, in such a case, any weak entropy function is a polynomial function of the Riemann invariants (w, z). This is the key step in DiPerna’s arguments and is also his main contribution to the compensated compactness method in this aspect. Received by the editors May 16, 1996. 1991 Mathematics Subject Classification. Primary 35K55, 35L65; Secondary 76N15, 35L60, 65M06.

We give a simplified proof of an imbedding theorem by C. Fefferman [3].

Here we give a result on the postulation (i.e. the 2-normality) of nonlinearly normal embeddings of Abelian varieties. This result improves some of the results proved in a recent paper by Ch. Birkenhake.

In this paper we point out an error in paper [2] and study the asymptotic behavior of the differential equation Lnx + f(t, x) = r(t). The results obtained are extensions of some of the results of [2].

A class of functions K(r) and the corresponding solutions are produced in the case of the differential equation d 2 u/dr 2 +1 du/r dr+K(r)e 2u(r) =1. The behavior of these solutions at an isolated singularity is also investigated

We observe that a strictly singular operator is not necessarily condensing, so that the invariant subspace problem for strictly singular operators remains open.

Introduction. In a recent paper [2] R. H. Bruck has introduced the concept of right neoring and discussed some properties of these systems. In particular, he has considered analogues of certain properties of the ring of integers. This paper is essentially a commentary on Bruck's paper and we generalize some of his results as follows. The construction of the universal right neoring in [2] is applied to the free monogenic $3-loop in any subvariety $3 of the variety of loops and a complete analogue of Theorem 4.1 of [2] is obtained for any one of these subvarieties. Then, using a result similar to those obtained in [5], it is shown that this construction yields uncountably many right neorings with an identity which generates the additive loop of the right neoring. Conversely, every right neoring with an identity which generates its additive loop can be obtained from a free monogenic $3-loop by the above construction. Each of these right neorings has some properties resembling those of the ring of integers. One possible answer is given to the question raised by Bruck concerning the existence of universal right neorings with free additive loop of arbitrary rank. A brief proof is given, using the results of [4; 5], of the cancellation properties of the monogenic universal right neoring. Finally, we discuss briefly the relationship between right neorings and the logarithmetics of Etherington.

It is shown that the rings under the title admit an order-theoretical characterization as in the commutative case studied by Abian. Introduction. Let R be an associative ring equipped with the binary relation (^) defined by xay if and only if xy = x2 in R. In this paper, it is shown that ( ^ ) is an order relation on R if and only if, R has no nilpotent elements i9*0). Conditions on the binary relation (g) in order that R split into a direct product of division rings are then studied in the light of Abian's result (l, Theorem l). Using similar argumentation and using certain subdirect representation of rings with no nilpotent elements, one obtains a complete similarity with the commutative case (yet, no extra complication in the computa- tions). Conventions. R is an associative ring which is, unless otherwise stated, with no nilpotent elements (other than 0). As a result of (2), R can be embedded into a direct product of skewdomains, R—* YLiei £i (that is to say, rings R, having no one-sided divisors of zero). The former embedding is fixed throughout the paper. It is therefore legiti- mate to identify any element x in R with the family consisting of all its projections (xj.e/. Finally, all definitions in (l) are extended (verbatim) to the present case (of a noncommutative ring R) and are freely used throughout.

Recently Cameron and Storvick introduced and studied an operator valued function space integral related to the Feynman integral. The main theorems of their study establish the existence of the function space integral as a weak operator limit of operators defined at the first stage by finite-dimensional integrals. This paper provides a substantial strengthening of their existence theorem giving the function space integrals as strong operator limits rather than as weak operator limits.

We establish the relationship between certain invariant extension properties for linear functional of K. Fan when a semigroup S acts on a locally convex topological vector space and the existence of a left-invariant mean on the space of almost periodic and weakly almost periodic functions on S.

A subset A A of a topological space is said to be semi-open if there exists an open set U U such that U ⊆ A ⊆ Cl ⁡ ( U ) U \subseteq A \subseteq \operatorname {Cl} (U) where Cl ⁡ ( U ) \operatorname {Cl} (U) denotes the closure of U U . The class of semi-open sets of a given topological space ( X , T ) (X,\mathcal {T}) is denoted S .O . ( X , T ) {\text {S}}{\text {.O}}{\text {.}}(X,\mathcal {T}) . In the paper Semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly 70 (1963), 36-41, Norman Levine states in Theorem 10 that if T \mathcal {T} and T ∗ {\mathcal {T}^ \ast } are two topologies for a set X X such that S .O . ( X , T ) ⊆ S .O . ( X , T ∗ ) {\text {S}}{\text {.O}}{\text {.}}(X,\mathcal {T}) \subseteq {\text {S}}{\text {.O}}{\text {.}}(X,{\mathcal {T}^ \ast }) , then T ⊆ T ∗ \mathcal {T} \subseteq {\mathcal {T}^ \ast } . In a corollary to this theorem, Levine states that if S .O . ( X , T ) = S .O . ( X , T ∗ ) {\text {S}}{\text {.O}}{\text {.}}(X,\mathcal {T}) = {\text {S}}{\text {.O}}{\text {.}}(X,{\mathcal {T}^ \ast }) , then T = T ∗ \mathcal {T} = {\mathcal {T}^ \ast } . An example is given which shows the above-mentioned theorem and its corollary are false. This paper shows how different topologies on a set which determine the same class of semi-open subsets can arise from functions, and points out some of the implications of two topologies being related in this manner.

The object of this note is to point out and correct an error in the paper [21 of Fox, purporting to prove Fenchel's conjecture that a finitely generated. infinite Fuchsian group has a torsion-free normal subgroup of finite index. Fox divided the proof of the main result in his paper into four cases and an error occurs in the proofs of Cases (III) and (IV). A direct proof of Case (III) was given. While a direct proof of Case (IV) can be given, the author shows that it also follows indirectly from the result in the paper [1] of Burns and Solitar. Given any three integers a > 1, b > 1 and c > 1, there exist permutations A of order a and B of order b, such that AB has order c. Fox divided the proof of this lemma into the four cases: (I) ab 0 (mod 2) and max{a, b} ? c < a + b, (II) ab 0 (mod 2) and c : a + b, (III) a b c 1 (mod 2), (IV) a b 1 and c 0 (mod 2), and subcases. In the subcase m(a + b 2) + 2 ? c < (m + l)(b + 1) 1 of Case (III) where m is the largest integer not exceeding (c l)/(b + 1), and it is assumed that a ? b < c, the number of distinct symbols in the permutations [2, p. 64] nl~~~W B ( Wv-sI .. WI2 I7 (vWb B = (vl * *t*v W_ ***W P2) * (V W2 .. * ]Pi+]1)'

1. In a recent paper [2] Reich has made the observation that an example of Koebe given in 1918 [1] does not fulfill its asserted purpose. This example was to show that vanishing measure of the complement did not assure that a slit domain was minimal. Reich proceeded to fill the gap by carrying out the following somewhat more general construction. Let A be a compact perfect nowhere dense set on the x-axis in the z-plane (z=x+iy). Then there exists a compact set S in the z-plane with the properties: (i) A is the projection of S on the x-axis, (ii) S is composed of segments symmetric with respect to the x-axis and points on the x-axis, at least one segment being present, (iii) any point in S, not on the x-axis and not at the end of a segment in S, is the limit, both from the left and right, of points of S. Once this construction is performed the desired examples are easily given [2, ?4]. The object of the present paper is to give an alternative construction which is very explicit and direct.

The paper consists of two parts. In the first part a short proof of the main theorem due to A. Aziz on the location of zeros of composite polynomials is given. In the second part some properties of a fixed length continuation of a polynomial are deduced.

In [4], Phelps showed that in certain function algebras the unit ball is the closed convex hull of its extreme points. The algebra, C(X), of complex valued continuous functions on a compact Hausdorff space, will always have this property. The class of logmodular algebras which have a Gleason part which is total also was shown to have the property. In this paper we give an elementary proof of the first result (a proof which is, in theory at least, constructive). The simplest nontrivial example of a logmodular algebra with a total part is the disk algebra (i.e. the functions continuous on the closed disk and analytic in the interior). For this algebra we show that the extreme points (in fact the exposed points) of the unit ball form a dense subset of the boundary of the unit ball. Let U be the unit ball of C(X). It is well known that q in U is an extreme point of U if I q(x) I = 1 for all x in X. Now if f in U never vanishes, then f is in the closed convex hull of the extreme points; in factf is between two uniquely determined extreme points. We need only observe that for each x in X,f(x) is halfway between two uniquely determined extreme points of the disk and that these points vary continuously with x. Now it is not necessarily the case that each function in U can be approximated by a nonvanishing function. For a counterexample we need only look at h(z) = z in the algebra of continuous functions on the disk. (If If(z)-zj 1/e. Letfi, i = 1, *, N be the retract maps obtained from these rotations. Then I 1/N Efi(z)-z

where the oi are the usual generators of Bn. (See [1; 4].) A textile manufacturer asked the following question: Can one decide whether or not a braid in An is also in Qn? (It is possible to "weave" a braid in Qn while keeping its ends "tied together.") Shepperd [6] solved the above decision problem using the generators and relations of the braid group and subgroups. In this paper we give another distinct solution working in terms of automorphisms of free groups. In particular, we use formulas developed in [3; 4]. The author wishes to thank his teacher, and friend, Professor Wilhelm Magnus who has contributed more than anyone else towards the author's knowledge of mathematics.

Among other results, it is proved that if a sequence { μ n } \{ {\mu _n}\} of regular measures on a Hausdorff space, with values in a normed group, is convergent to zero for all σ \sigma -compact sets or all open sets, then there exists a maximal open set U such that μ ˙ n ( U ) → 0 , { μ ˙ n } {\dot \mu _n}(U) \to 0,\{ {\dot \mu _n}\} being the associated submeasures.

We give a simplified proof to the following theorem due to D. Quillen: if A is a commutative noetherian ring of global dimension ⩽ 1 \leqslant 1 , then finitely generated projective modules over A [ T 1 , … , T n ] A[{T_1}, \ldots ,{T_n}] are extended from A. We prove also that if A is a commutative noetherian ring of global dimension d, then finitely generated projective modules of rank > d > d over A [ T 1 , … , T n ] A[{T_1}, \ldots ,{T_n}] are extended from A.

This note deals with the correction of a small flaw in the proof of a theorem (and a lemma) in [2]. Also a simpler proof of the theorem in question is given. In the proof of Theorem 2.3 in [2], the statement "that distinct L's cannot belong to a common pure subgroup HL follows immediately from the fact that no two L's generate with G [p] the same subgroup of G" is false as it stands. One has to exercise a little more care in the selection of HL. For example, since the union [xa, Xa]aEA of all the L's (in Lemma 2.1 in [2]) is still linearly independent, there exists according to [1] a pure subgroup H of G supported by S such that HDL for each L. Hence one could choose HL=H for each L. However, all goes well if HL is chosen such that HLn [Xa, XTg aEA =L, as can easily be done. Similar remarks hold for Lemma 3.8 in [2]. A short alternate proof of Theorem 2.3 in [2] is given. In what follows let c be the cardinality of the continuum and Q be the first ordinal whose cardinality is c. The notation and terminology will be the same as that in [2].

M. Rosenblum in [2] presented a most ingenious proof of the Fuglede and Putnam Theorems by means of entire vector valued functions [1, p. 59]. We will demonstrate that some curious properties of bounded Hilbert space operators can be derived from Rosenblum's argument and similar arguments. Throughout this text we mean by an "operator" a bounded linear transformation of a Hilbert space into itself. Given an operator A we mean by "exp A " the uniform limit of the series I+A +A 2/2 1 +A3/3! +A4/4! + * * * . We let A * denote the adjoint of the operator A, and let z* denote the complex conjugate of the complex number z. A "normal" operator is an operator which commutes with its adjoint. A critical fact in the Rosenblum proof is that given a normal operator A and any complex number z, exp (izA) exp (iz*A *) exp (izA +iz*A *) = exp (iz*A *) exp (izA), and this operator is unitary because i(zA +z*A *) is skew hermitian. Our first result states, among other things, that the converse is true; if the above equations hold for a fixed operator A and all complex numbers z, then A is normal.

A subset A of a topological space is said to be semi-open if there exists an open set U such that U C A C Cl(U) where Cl(U) denotes the closure of U. The class of semi-open sets of a given topological space (X, J) is denoted S.O. (X, J). In the paper Semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly 70 (1963), 36-41, Norman Levine states in Theorem 10 that if J and V* are two topologies for a set X such that S.O.(X, 3) C S.O.(X, J*), then 'J C P. In a corollary to this theorem, Levine states that if S.O.(X, if) = S.O.(X,Jf*), then _T= f*. An example is given which shows the above-mentioned theorem and its corollary are false. This paper shows how different topologies on a set which determine the same class of semi-open subse,ts can arise from functions, and points out some of the implications of two topologies being related in this manner. In [6] Norman Levine defines a set A in a topological space X to be semi-open if there exists an open set U such that U C A C Cl (U), where Cl(U) denotes the closure of U. The class of semi-open sets for a given topological space (X, i) is denoted S.O. (X, sT). Levine states in Theorem 10 of [6] that if Jf and * are two topologies for a set X such that S.O. (X, i) C S.O. (X, J9 then iT C *. In a corollary to this theorem, Levine states that if S.O. (X, ) = S.O. (X, iT*), then Jf = -" The following example which is due to S. Gene Crossley and S. K. Hildebrand [1, Example 1.1] shows the above-mentioned theorem and its corollary are false. Example. Let X = la, b, cl, J; = t0, sal, la, bl, la, cl, XI, ;* = 10, sal, la, bl, XI. An exhaustion of all possibilities shows that S.O. (X, ) = S.O. (x, 5j*). Crossley and Hildebrand [3] defined two topologies iT and T* on a set X to be semi-correspondent if S.O. (X, J) = S.O. (X, 5f*). It is shown in [3] that semi-correspondence is an equivalence relation on the collection of Received by the editors March 3, 1974. AMS (MOS) subject classifications (1970). Primary 54B99; Secondary 54C10.

The incorrectness of Birkhoff's result, with which the paper [2] is concerned, was noted already by F. R. Gantmacher in 1954 in his book Theory of matrices (Russian); cf. the recent English translation of the second part of this, [l, pp. 175-176]. Example C in [2] is, in fact, the analogue of Gantmacher's counter-example when z= a> is taken instead of 2 = 0 as the singular point. Gantmacher does not, however, discuss the cases in which the result is correct; cf. [2, D]. Unfortunately, the writer became aware of Gantmacher's work only when it was too late to have paper [2] withdrawn or even to have a note added to it.

F(k) ={xkj x F}; F,=F; Fk= (Fk_l,F). Let (u, v, 0)=u, (u, v, 1)=(u, v), (u, v, n)=((u, v, n-1), v). Then Sanov [3] proved that (1. 1) (u, v, apa _1) p-a E F(p#)Fapa+?, /3 a = 1, 2, where p is a prime. In this paper, (1.1) is proved for the cases a= 1, 2; 3 arbitrary. A slight generalization of these results is also proved. Sanov's proof involved an investigation of ideals in a Lie Ring. In this paper, Hall's Collection Process will be used. The method also yields other formulas, e.g. (1.2) (u, v, p2 1)P' (E F2p2_pF(p) (1.3) (u, v, pa+l 1)p~l C F2pa+l paF(pl), a = 1 2, and can be used to produce numerous formulas of a similar nature. The author hopes that some of these formulas and/or the method may be of use in solving other group-theoretic problems. The author was unable to use the method to prove (1.1) for a =3. Note that for a=f = 1, (1. 1) becomes (1.4) (U, v, p 1) E F(p)Fv+1. (1.4) plays an important role in the theory of the Restricted Burnside Problem.

J. L. Palacios claimed [2] that the author’s paper [1] contained errors. This note refutes those claims by showing that Palacios misunderstood [1] and adopted assumptions different from those of [1].

If BP denotes the space of smooth alternating p-forms on the C' manifold M, we are interested in finding the spaces of R-linear maps from iPP to be that commute with the diffeomorphisms of M. For a compact manifold M these spaces were found by R. S. Palais. In this note we find them for noncompact M. Let V, W be the spaces of sections of two tensor bundles over a connected Coo manifold M of dimension n. In a paper [3] appearing in Trans. Amer. Math. Soc. 92 (1959), R. S. Palais studied a number of the spaces 4 (V, W) of the R-linear maps V->W natural with respect to the action on V and W of the group G of diffeomorphisms on M. We sketch the definition of this action: If g-G we define R,:F(TM) -4F(TM) to be the differential of g, and Rg:r(T*M)-->F(T*M) to be the dual of the differential of g-1. For the other spaces of tensor fields Rg is defined as the obvious tensor product of these two R-linear isomorphisms. A map c: V->W is then called natural if cRg =R,c for all g G. Palais was particularly interested in the case when V and W are the space IP of p-forms and the space bq of q-forms respectively, 0 < p, q

There is a mistake in each of [3] and [4]. The purpose of this note is to correct the error in [3] and to salvage what can be saved in [4]. In each case the notation will be that of the paper under discussion. Professor Homer Bechtell has kindly informed me of an error in the proof of the Theorem of [3] which occurs in the case MG1c G. The theorem is true however by altering the proof at this point. Assume that Mc: MG1=M1lc:G. M1 is an invariant subgroup of G, and since G1c: Soc(G), G1 is a direct sum of minimal invariant subgroups of G. By Clifford's theorem (p. 70 of [1]), each minimal invariant subgroup of G is either M1-central or M1-hypereccentric, and hence

The first part of the theorem of the above paper states that if ois a closed convex set in real X1 ... Xn-space which is invariant under permutations of coordinates, and if C(o-) denotes the set of real symmetric nXn matrices whose eigenvalues X1, X. form the coordinates of points in a, then C(o) is convex. I am obliged to Professor R. T. Rockafellar for pointing out that this statement is essentially contained in a theorem of Chandler Davis.2 The statement also follows from an earlier result of V. B. Lidskii,3 which was not known to me at the time of publication.

Among other results, it is proved that if a sequence {t 1l) of regular measures on a Hausdorff space, with values in a normed group, is convergent to zero for all a-compact sets or all open sets, then there exists a maximal open set U such that ft,1 ( U) O-* { f t,) being the associated submeasures. In [5], J. D. Stein, Jr. considers some versions of Phillip's lemma and the Vitali-Hahn-Saks theorem for sequences of regular scalar-valued Borel measures on Hausdorff spaces. The measures he considers are bounded, regular, and finitely additive Borel measures which are easily seen to be countably additive (to prove this, first note that I pi, the variation of such a measure /L, is regular, bounded, and finitely additive [5, Lemma 1]) and so for a sequence {Bi) of Borel sets, B1j0, and > 0, C a sequence of compact sets (Ki), Ki c Bi and vi(Bi \ K1) some no and so I til(BiWO), an observation which enables one to prove his results easily, in more general forms, and under weaker conditions. Theory of submeasures developed in [1] will be used. Let G be an Abelian Hausdorff topological group, X a Hausdorff topological space, and yt a countably additive, regular, G-valued measure on X (by regularity we mean that for any Borel set B in X and a 0-nbd U in G, there exists a compact set C c B such that tt(K) C U, VK c B \ C, K Borel). If G is normed [1, p. 270], we have an associated submeasure ft, AK(B) = sup{14(A)I:A c B,A Borel) = sup{ I(C)I: C c B, Ccompact), which is finite [1, p. 279, Corollary 4.1 1], exhaustive, a-subadditive, and order-continuous [1, II]. It is also regular in the sense that given E > 0 and a Borel set B, 3 a compact set K c B such that i(B \ K) < (proof by contradiction, using exhaustivity). For a collection of measures or subReceived by the editors August 25, 1976. AMS (MOS) subject classifications (1970). Primary 28A25; Secondary 46G10.

C. Hobby and C. R. B. Wright [2] have just published the following Theorem A. However, their proof seems to contain an error.2 The notation of [2] is used except that G. is not reserved for the nth term of the lower central series of G: +/(G) denotes the Frattini subgroup of G; (G, H) means the group generated by the commutators g-lh-1gh where gEG, hEH; (A1, A2, * * *, A.+,) is defined inductively as ((A1, A2, . , A.), A.+,); HCG means that H is properly included in G.

PROOF. By a theorem of Rudin a function gEH' in U whose boundary values are real a.e. on I can be analytically continued to D [3, p. 59]. The lemma follows on applying Rudin's result to gi= (1/2) (fl+f2) and g2=(i/2) (fi-f2). PROOF OF THEOREM 1. By a well-known decomposition theorem [2, p. 87], f(z)=B(z)F2(Z), where B(z) is a Blaschke product and F(z) EH1. Since the boundary values of B (z) have absolute value one a.e. on K, we have a.e. on I, f(ei0)= |f(eio)I, or B(ei0)F2(ei0) = F2(ei0) |, and hence

must hold. By an elementary theorem of geometry, C3 /t2s3M3(s) = 1, and a similar argument shows that tc satisfies this same relation in the case where wx/2 1. Because of the restriction on tc only those values of s may be used for which sM(s) oo as s->1, it is not permissible to let s-*1. Added in proof. See review by E. Reich, Math. Rev. vol. 19 (1958) p. 736.

In this short paper, we prove a Hitchin-Thorpe type inequality for closed 4-manifolds with non-positive Yamabe invariant, and admitting long time solutions of the normalized Ricci flow equation with bounded scalar curvature.

In this short paper we prove that, for3≤N≤93 \le N \le 9, the problem−Δu=eu-\Delta u = e^uon the entire Euclidean spaceRN\mathbb {R}^Ndoes not admit any solution stable outside a compact set ofRN\mathbb {R}^N. This result is obtained without making any assumption about the boundedness of solutions. Furthermore, as a consequence of our analysis, we also prove the non-existence of finite Morse Index solutions for the considered problem. We then use our results to give some applications to bounded domain problems.