Loading [MathJax]/jax/output/SVG/jax.js

Asymptotic analysis of an array of closely spaced absolutely conductive inclusions

  • Received: 01 February 2006 Revised: 01 June 2006
  • Primary: 34E05, 35C20; Secondary: 78M35.

  • We consider the conductivity problem in an array structure with square closely spaced absolutely conductive inclusions of the high concentration, i.e. the concentration of inclusions is assumed to be close to 1. The problem depends on two small parameters: ε, the ratio of the period of the micro-structure to the characteristic macroscopic size, and δ, the ratio of the thickness of the strips of the array structure and the period of the micro-structure. The complete asymptotic expansion of the solution to problem is constructed and justified as both ε and δ tend to zero. This asymptotic expansion is uniform with respect to ε and δ in the area {ε=O(δα), δ=O(εβ)} for any positive α,β.

    Citation: Leonid Berlyand, Giuseppe Cardone, Yuliya Gorb, Gregory Panasenko. Asymptotic analysis of an array of closely spaced absolutely conductive inclusions[J]. Networks and Heterogeneous Media, 2006, 1(3): 353-377. doi: 10.3934/nhm.2006.1.353

    Related Papers:

    [1] Limin Liu, Hongjin Liu . Consistent pairs of s-torsion pairs in extriangulated categories with negative first extensions. AIMS Mathematics, 2024, 9(1): 1494-1508. doi: 10.3934/math.2024073
    [2] Xiaolin Xie, Hui Kou . The Cartesian closedness of c-spaces. AIMS Mathematics, 2022, 7(9): 16315-16327. doi: 10.3934/math.2022891
    [3] Zhen Zhang, Shance Wang . Silting objects and recollements of extriangulated categories. AIMS Mathematics, 2024, 9(9): 24796-24809. doi: 10.3934/math.20241207
    [4] Sana Khadim, Muhammad Qasim . Quotient reflective subcategories of the category of bounded uniform filter spaces. AIMS Mathematics, 2022, 7(9): 16632-16648. doi: 10.3934/math.2022911
    [5] Haijun Cao, Fang Xiao . The category of affine algebraic regular monoids. AIMS Mathematics, 2022, 7(2): 2666-2679. doi: 10.3934/math.2022150
    [6] Alessandro Linzi . Polygroup objects in regular categories. AIMS Mathematics, 2024, 9(5): 11247-11277. doi: 10.3934/math.2024552
    [7] Jinlei Dong, Fang Li, Longgang Sun . Derived equivalence, recollements under H-Galois extensions. AIMS Mathematics, 2023, 8(2): 3210-3225. doi: 10.3934/math.2023165
    [8] Yutong Zhou . Idempotent completion of right suspended categories. AIMS Mathematics, 2022, 7(7): 13442-13453. doi: 10.3934/math.2022743
    [9] Inga Timofejeva, Zenonas Navickas, Tadas Telksnys, Romas Marcinkevičius, Xiao-Jun Yang, Minvydas Ragulskis . The extension of analytic solutions to FDEs to the negative half-line. AIMS Mathematics, 2021, 6(4): 3257-3271. doi: 10.3934/math.2021195
    [10] Mesfer H. Alqahtani, Alaa M. Abd El-latif . Separation axioms via novel operators in the frame of topological spaces and applications. AIMS Mathematics, 2024, 9(6): 14213-14227. doi: 10.3934/math.2024690
  • We consider the conductivity problem in an array structure with square closely spaced absolutely conductive inclusions of the high concentration, i.e. the concentration of inclusions is assumed to be close to 1. The problem depends on two small parameters: ε, the ratio of the period of the micro-structure to the characteristic macroscopic size, and δ, the ratio of the thickness of the strips of the array structure and the period of the micro-structure. The complete asymptotic expansion of the solution to problem is constructed and justified as both ε and δ tend to zero. This asymptotic expansion is uniform with respect to ε and δ in the area {ε=O(δα), δ=O(εβ)} for any positive α,β.


    Exact and triangulated categories are two important structures in category theory. Recently, Nakaoka and Palu [14] introduced the notion of extriangulated categories as a simultaneous generalization of exact categories and extension-closed subcategories of triangulated categories. After that, the study of extriangulated categories has become an active topic, and up to now, many results on exact categories and triangulated categories can be unified in the same framework.

    Extension-closed subcategories form an important class of subcategories in representation theory of algebra. The existence of Auslander-Reiten sequences (resp., triangles) in extension-closed subcategories of abelian (resp., triangulated) categories is a very important topic in representation theory, for example, see [4,12] for the abelian case and [10] for the triangulated case. Jørgensen studied the Auslander-Reiten triangles in subcategories ending at non-Ext-projective objects in [11,Theorem 3.1], and Iyama, Nakaoka and Palu studied the extriangulated version in [8,Proposition 5.15]. In [6], Fedele considered minimal right almost split morphisms ending at Ext-projective objects in an extension-closed category of a triangulated category, and found something quite similar to Auslander-Reiten triangles in a suitable extension-closed subcategory. Extension-closed subcategories admit sometimes nice categorical structures, for example, extension-closed subcategories of abelian categories are exact categories. Extension-closed subcategories of triangulated categories are not necessarily triangulated, but they are extriangulated. In [11], Jørgensen showed that an extension-closed subcategory of a triangulated category admits an exact structure under some assumption. In [17], Zhou considered n-extension closed subcategories of (n+2)-angulated categories. Therefore, it is natural to ask whether there is a framework in the setting of extriangulated categories for these results. The aim of this paper is to prove the analogues of the triangulated results [6,Theorem A] and [11,Proposition 2.5(ⅰ)] into the extriangulated setup.

    In Section 2, we recall some terminologies. In Section 3, we show that given an s-triangle in K, if β is a minimal right almost split morphism in X, and X is X-projective, then: (1) YX, (2) α is an X-envelope of Y, (3) Y is indecomposable. This generalizes Fedele's result [6,Theorem A]. In Section 4, let K be an extriangulated category admitting a negative first extension E1. In general, extension-closed subcategories of extriangulated categories are still extriangulated, but not necessarily exact. We show that if X is an extension-closed subcategory of K satisfying E1(X,X)=0, then X is an exact category, which generalizes Jørgensen's result [11], Proposition 2.5(ⅰ)].

    We first recall some notions from [14].

    In this section, K is an additive category and E:Kop×KAb is a biadditive functor, where Ab is the category of abelian groups.

    Let A,CK. An element δE(C,A) is called an E-extension. Two sequences of morphisms

    in K are said to be equivalent if there exists an isomorphism bHomK(B,B) such that x=bx and y=yb. We denote by the equivalence class of . In particular, we write

    For an E-extension δE(C,A), we briefly write

    aδ:=E(C,a)(δ) and cδ:=E(c,A)(δ).

    For two E-extensions δE(C,A) and δE(C,A), a morphism from δ to δ is a pair (a,c) of morphisms with aHomK(A,A) and cHomK(C,C) such that aδ=cδ.

    Definition 2.1. ([14,Definition 2.9]) Let s be a correspondence which associates an equivalence class to each E-extension δE(C,A). Such s is called a realization of E provided that it satisfies the following condition.

    (R) Let δE(C,A) and δE(C,A) be any pair of E-extensions with

    Then for any morphism (a,c):δδ, there exists bHomK(B,B) such that the following diagram

    commutes.

    Let s be a realization of E. If for some E-extension δE(C,A), then one says that the sequence realizes δ; and in the condition (R), the triple (a,b,c) realizes the morphism (a,c).

    For any two equivalence classes and , we define

    Definition 2.2. ([14,Definition 2.10]) A realization s of E is called additive if it satisfies the following conditions.

    (1) For any A,CK, the split E-extension 0E(C,A) satisfies s(0)=0.

    (2) For any pair of E-extensions δE(C,A) and δE(C,A), we have s(δδ)=s(δ)s(δ).

    Definition 2.3. ([14,Definition 2.12]) The triple (K,E,s) is called an externally triangulated (or extriangulated for short) category if it satisfies the following conditions.

    (ET1) E:Kop×KAb is a biadditive functor.

    (ET2) s is an additive realization of E.

    (ET3) Let δE(C,A) and δE(C,A) be any pair of E-extensions with

    For any commutative diagram

    in K, there exists a morphism (a,c):δδ which is realized by the triple (a,b,c).

    (ET3)op Dual of (ET3).

    (ET4) Let δE(C,A) and ρE(F,B) be any pair of E-extensions with

    Then there exist an object EK, an E-extension ξ with , and a commutative diagram

    in K, which satisfy the following compatibilities.

    (i)

    (ii) sξ=δ.

    (iii) xξ=tρ.

    (ET4)op Dual of (ET4).

    Definition 2.4. ([14,Definitions 2.15,2.17 and 2.19]) Let K be an extriangulated category.

    (1) A sequence in K is called a conflation if it realizes some E-extension δE(C,A). In this case, x is called an inflation and y is called a deflation.

    2 If a conflation in K realizes δE(C,A), the pair is called an E-triangle (or s-triangle, extriangle), and write it in the following way:

    We usually do not write this "δ" if it is not used in the argument.

    (3) Let and be any pair of E-triangles. If a triplet (a,b,c) realizes (a,c):δδ, then we write it as

    and call (a,b,c) a morphism of E-triangles.

    If a,b,c above are isomorphisms, then and are said to be isomorphic.

    (4) Let X be a full additive subcategory of K, closed under isomorphisms. The subcategory X is said to be extension-closed (or equivalently, closed under extensions) if, for any conflation ABC which satisfies A,CX, then BX.

    Example 2.5. Both exact categories and triangulated categories are extriangulated categories (see [14,Proposition 3.22]) and extension closed subcategories of extriangulated categories are again extriangulated (see [14,Remark 2.18]). Moreover, there exist extriangulated categories which are neither exact categories nor triangulated categories, see [14,Proposition 3.30]. For more examples, see also [7,Theorem 1.2], [16,Example 2.8], [18,Corollary 4.12 and Remark 4.13].

    Condition (WIC):

    (1) Let fHomK(A,B), gHomK(B,C) be any composable pair of morphisms. If gf is an inflation, then so is f.

    (2) Let fHomK(A,B), gHomK(B,C) be any composable pair of morphisms. If gf is a deflation, then so is g.

    Assume that k is a field, and K a skeletally small k-linear Hom-finite Krull-Schmidt extriangulated category satisfying Condition (WIC). All subcategories are full, and closed under isomorphisms and direct summands.

    Assume that X is an additive subcategory of K which is closed under extensions. We will investigate minimal right almost split deflations in X, and give a relation between minimal right almost split deflations of X-projective objects and X-envelopes in an s-triangle which generalizes [6,Theorem A]. The results follow closely part of Sections 2 and 3 from [6] and the proofs also follow by very similar arguments.

    Definition 3.1. Let A,BX.

    (1) A morphism α:AB is called right almost split in X if α is not a split epimorphism, and for any CX, any morphism β:CB which is not a split epimorphism factors through α. Dually, the notion of left almost split morphisms is given.

    (2) A morphism α:AB is called minimal right almost split in X if it is both right minimal and right almost split in X. A minimal left almost split morphism in X is defined dually.

    Lemma 3.2. Let β:BC be a right almost split morphism in X. Then C is indecomposable. Moreover, if β is right minimal and β:BC is a minimal right almost split morphism in X, then there is an isomorphism φ:BB such that β=βφ.

    Proof. The proof follows from the same argument of [6,Proposition 2.7].

    Definition 3.3. An object XX is called X-injective if E(X,X)=0. An object XX is called X-projective if E(X,X)=0.

    Lemma 3.4. ([6,Lemma 3.4]) Assume that f=(f1,f2):A1A2B is right minimal in K. Then f1 and f2 are right minimal.

    Lemma 3.5. Let be an s-triangle in K. Then

    (1) βradK(B,C) if and only if α is left minimal.

    (2) αradK(A,B) if and only if β is right minimal.

    Proof. (1) By [14,Proposition 3.3], there is an exact sequence

    Then the result holds by the dual of [9,Lemma 1.1].

    (2) is similar.

    Lemma 3.6. Let XX be indecomposable X-projective, and be a non-split s-triangle with XX. Then α is an X-envelope of Y.

    Moreover, if β is right minimal, then Y is indecomposable.

    Proof. Applying HomK(,X) to the given s-triangle, we have an exact sequence

    Since X is X-projective, E(X,X)=0, and hence HomK(α,X) is epic. This shows that α is an X-preenvelope of Y.

    Since K is Krull-Schmidt, we can write X=X1Xt, where X1,,Xt are indecomposable, and write β=(β1,,βt), where βi:XiX, i=1,,t. Since δ0, β is not a split epimorphism, and hence each βi is not a split epimorphism. By [3,Appendix,Proposition 3.5], each βiradK(Xi,X). Thus βradK(X,X) by [3,Appendix,Lemma 3.4]. By Lemma 3.5(1), α is left minimal, and hence α is an X-envelope of Y.

    Now let β be right minimal, and let Y=Y1Yr, where each Yi is indecomposable. Let inc:YiY be the inclusion. For any XX, and any g:YiX, consider the diagram

    Then there exists ¯g:YX such that g=¯ginc. Since α is an X-envelope of Y, there is h:XX with ¯g=hα. Thus g=¯ginc=hαinc, which shows that αinc:YiX is an X-preenvelope of Yi. Since K is Krull-Schmidt, there exists an X-envelope αi:YiXi. Thus we get an X-envelope ri=1αi:ri=1Yiri=1Xi. But X-envelopes are unique up to isomorphisms, so we may assume that α=ri=1αi and X=ri=1Xi. Note that since each αi:YiXi is an X-envelope, we have a commutative diagram

    Then αinc is an inflation implies that αi is an inflation by Condition (WIC). Thus there exists an s-triangle . Consider the following diagram

    where the left square is commutative. By (ET3), there exists wi:ZiX such that the following diagram

    commutates. Therefore, we get a commutative diagram

    By [14,Corollary 3.6], Xti=1Zi. But X is indecomposable, so we may assume that XZ1, and Zi=0 for i1. This shows that wi=γi=0 and αi is an isomorphism for i1.

    Now suppose that β=(β1,,βr) is right minimal, by Lemma 3.4, each βi is right minimal. On the other hand, for i1, βi=βinc=wiγi=0, thus

    β0=0=β=β1Bi, i10=1Bi, i1Xi=0, i1Yi=0, i1Y=Y1 is indecomposable.

    Theorem 3.7. Let be an s-triangle in K. Assume that β is a minimal right almost split morphism in X, and X is X-projective. Then

    (i) (1) YX,

    (2) α is an X-envelope of Y,

    (3) Y is indecomposable.

    (ii) If there is an s-triangle such that ˜β is a minimal right almost split morphism in X and ˜Xis X-projective, then X˜X if and only if Y˜Y.

    Proof. (ⅰ) Since β is a right almost split morphism in X, X is indecomposable by Lemma 3.2. Now assume YX. Since X is X-projective, we have E(X,Y)=0, and hence δ=0. Thus β is a split epimorphism, which is a contradiction. Hence YX. By Lemma 3.6, α is an X-envelope of Y. Moreover, since β is right minimal, Y is indecomposable by Lemma 3.6.

    (ⅱ) Using (ⅰ), we have that ˜YX, ˜Y is indecomposable, and ˜α is an X-envelope of ˜Y.

    The "only if" part. Assume that X˜X, that is, there is an isomorphism φ:X˜X. Then ˜β:~X˜X and φβ:X˜X are minimal right almost split morphisms. By Lemma 3.2, there exists an isomorphism ψ:X~X such that φβ=˜βψ. Then we get the following commutative diagram

    By [14,Corollary 3.6], ϕ is an isomorphism, and hence Y˜Y.

    The "if" part. Assume Y˜Y, that is, there is an isomorphism ϕ:Y˜Y. Then α and ˜αϕ are X-envelopes of Y. Then X~X since envelopes are unique up to isomorphisms. That is, there exists an isomorphism ψ:X~X such that ˜αϕ=ψα. Then we have the following commutative diagram

    By [14,Corollary 3.6], φ is an isomorphism, and hence X˜X.

    Example 3.8. Let Λ=kQ be a finite-dimensional hereditary path algebra over an algebraically closed field k, where Q is the quiver

    123.

    Then the Auslander-Reiten quiver of Λ is as follows ([3], Chapter Ⅳ, Example 4.10]):

    where the symbol [M] denotes the isomorphism class of a module M, and

    (1) S1=(k00), S2=(0k0) and S3=(00k) are all simple modules;

    (2) P1=S1, P2=(kk0) and P3=(kkk) are all indecomposable projective modules;

    (3) I1=P3, I2=(0kk) and I3=S3 are all indecomposable injective modules.

    Let K=modΛ be the category of finitely generated left Λ-modules. Then modΛ is an extriangulated category with E=Ext1Λ. Set X=add(I2S3). Then X is closed under extensions. Clearly, there is an Auslander-Reiten sequence 0S2αI2βI30 in modΛ. In particular, β is a minimal right almost split morphism. Moreover, since Ext1Λ(S3,I2S3)DHomΛ(I2S3,τS3)=DHomΛ(I2S3,S2)=0, we have that S3 is X-projective. By Theorem 3.7, α is an X-envelope.

    Remark 3.9. (1) An s-triangle in K of the form with A,B,CX is said to be an Auslander-Reiten s-triangle in X if

    (i) δ0,

    (ii) α is left almost split in X,

    (iii) β is right almost split in X.

    Clearly, the s-triangle given in Theorem 3.7 is not Auslander-Reiten s-triangle in X since the starting object is not in X at least.

    (2) Let K=T be a triangulated category, [1] the shift functor, and E=HomT(,[1]). Then Theorem 3.7 recovers [6,Theorem A].

    (3) Dual to Theorem 3.7, we have the following result: Let be an s-triangle in K. Assume that α is a minimal left almost split morphism in X, and Y is X-injective. Then

    (i) (a) XX,

    (b) β is an X-cover of X,

    (c) X is indecomposable.

    (ⅱ) If there is an s-triangle such that ˜α is a minimal left almost split morphism in X and ˜Y is X-injective, then Y˜Y if and only if X˜X.

    Assume that K is an extriangulated category, and X be an extension-closed subcategory of K. By [14,Remark 2.18], X is also an extriangulated category. In this section, we will show that X has an exact structure under some assumptions, which generalizes [11,Proposition 2.5]. The results in this section follow closely part of Section 2 from [11] and that the proofs also follow by very similar arguments. An important difference is that in our setup one has to add the assumption that the extriangulated category has a negative first extension in order to obtain the needed exact sequences in our arguments, while in [11] these exact sequences come for free from the triangulated structure.

    Definition 4.1. A homotopy cartesian square in K is a commutative diagram

    in K such that is a conflation.

    Let X be an additive subcategory of K. We set

    EX:={conflations X1X2X3 in K with X1,X2,X3X}.

    Definition 4.2. ([1,Definition 2.3]) A negative first extension structure on K consists of the following data:

    (NE1) E1:Kop×KAb is an additive bifunctor.

    (NE2) For each δE(C,A), there exist two natural transformations

    δ1:E1(,C)HomK(,A)δ1:E1(A,)HomK(C,)

    such that for each and each WK, two sequences

    are exact.

    In this case, we call (K,E,s,E1) an extriangulated category with a negative first extension.

    In what follows, we assume that K is an extriangulated category with a negative first extension E1, and X is an additive subcategory of K which is closed under extensions and E1(X,X)=0.

    Lemma 4.3. Each conflation in EX is a kernel-cokernel pair in X.

    Proof. For any XX, we have exact sequences

    (4.1)

    and

    (4.2)

    By assumption, E1(X,X3)=0=E1(X1,X). Thus the sequence (4.1) implies that f is a kernel of g, and the sequence (4.2) implies that g is a cokernel of f. Thus is a kernel-cokernel pair in X.

    Lemma 4.4. Assume that the following diagram

    is a homotopy cartesian square with each XiX. Then it is a pullback and a pushout in X.

    Proof. By definition, there is an s-triangle . For any XX, there are exact sequences

    (4.3)

    and

    (4.4)

    By assumption, E1(X,X4)=0=E1(X1,X). Thus the sequence (4.3) implies that the given diagram is a pullback in X, and the sequence (4.4) implies that the given diagram is a pushout in X.

    We recall the definition of exact categories from [5,Definition 2.1]. As proven by Bühler, it is equivalent to the original definition by Quillen from [15,Section 2]. Let C be an additive category. A kernel-cokernel pair (i,p) in C is a pair of composable morphisms such that i is a kernel of p and p is a cokernel of i. If a class E of kernel-cokernel pairs on C is fixed, a morphism i is called an inflation if there is a morphism p with (i,p)E. Deflations are defined dually.

    Let C be an additive category. An exact structure on C is a class E of kernel-cokernel pairs which is closed under isomorphisms and satisfies the following axioms:

    [E0] AC, 1A is an inflation.

    [E0op] AC, 1A is a deflation.

    [E1] The class of inflations is closed under composition.

    [E1op] The class of deflations is closed under composition.

    [E2] The pushout of an inflation along an arbitrary morphism exists and yields an inflation.

    [E2op] The pullback of a deflation along an arbitrary morphism exists and yields a deflation.

    An exact category is a pair (C,E) consisting of an additive category C and an exact structure E on C.

    Theorem 4.5. (X,EX) is an exact category.

    Proof. We will check [E0], [E1], [E2] and their dual.

    [E0] and [E0op]: For each XX, there are s-triangles and . Clearly, and belong to EX. Thus 1A is an inflation and a deflation.

    [E1]: Let x:X0X1 and y:X1X2 be two inflations in X. Then there exist two conflations and in EX. By (ET4), we have a commutative diagram

    where all rows and columns are conflations. Since X3,X4X, we have X5X, and hence Thus yx is an inflation in X. That is, inflations in X are closed under compositions.

    [E1op]: Dual to [E1].

    [E2]: Given a diagram

    in X, where x is an inflation. Then there is an s-triangle with X4X. By [13,Proposition 1.20], there exists a morphism φ:X2X5 such that there is a morphism of s-triangles

    and meanwhile, there is a conflation . That is, the diagram

    is a homotopy cartesian diagram. Moreover, since X3,X4X, we have X5X. Thus by Lemma 4.4, this homotopy cartesian diagram is a pushout in X, and ϕ is an inflation in X.

    [E2op] Dual to [E2].

    Remark 4.6. Let K=T be a triangulated category, [1] the shift functor, E=HomT(,[1]), and E1=HomT([1],). Then Theorem 4.5 recovers [11,Proposition 2.5(1)].

    Let X be an extension-closed subcategory of an extriangulated category K. We show that if C is X-projective and there is a minimal right almost split deflation in X ending by C, then there is an s-triangle ending by C which is very similar to an Auslander-Reiten triangle in X, and it generalizes [6,Theorem A]. We also show that if K admits a negative first extension E1 and E1(X,X)=0, then the subcategory X has an exact structure which generalizes [11,Proposition 2.5(ⅰ)].

    This work was supported by the NSF of China (11901341), the project ZR2021QA001 supported by Shandong Provincial Natural Science Foundation, the project funded by China Postdoctoral Science Foundation (2020M682141), and Innovation Foundation for Graduate Dissertation of Qufu Normal University (LWCXB202105). The authors would like to thank the anonymous reviewers for their comments and suggestions.

    The authors declare no conflict of interests.

  • This article has been cited by:

    1. Li Wang, Jiaqun Wei, Haicheng Zhang, Indices and c-vectors in extriangulated categories, 2023, 1674-7283, 10.1007/s11425-022-2054-y
    2. Limin Liu, Hongjin Liu, Consistent pairs of s-torsion pairs in extriangulated categories with negative first extensions, 2023, 9, 2473-6988, 1494, 10.3934/math.2024073
  • Reader Comments
  • © 2006 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3729) PDF downloads(49) Cited by(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog