• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      關于CopositivePlus張量及其互補問題的研究

      2020-01-09 03:20:30
      關鍵詞:張量定理證明

      劉 康

      (天津大學數學學院,天津 300350)

      0 引 言

      隨著現代科學技術的發(fā)展,張量(超矩陣)作為矩陣的高階推廣,在化學、醫(yī)學與神經科學、社會網絡分析、高光譜圖像以及人臉識別等方面都有著廣泛應用.張量互補問題(TCP)作為互補問題的一個特定子類,也引起了廣泛關注和研究.

      有許多文獻對TCP解集的理論性質展開研究,包括解的存在性[1-6]、解的全局唯一性[3,7]、解集的有界性[8]和稀疏解的存在性[2]等.Huang和Qi在文獻[9]中給出了張量互補問題的一個重要應用,為TCP的進一步研究提供了動力.

      在TCP的研究中,結構張量扮演了重要的角色.很多結構張量已經被引入和研究,其中,具有廣泛應用的Copositive張量得到了很多研究[10-14],文獻[14]中給出了Copositive張量在物理和超圖領域的應用.特別地,在文獻[15]中,作者對Copositive張量的理論、方法及其應用進行了綜述.

      在以往關于結構張量的研究中,大多數都是將結構矩陣的概念、相關的理論與方法延伸到張量情況.由于張量遠比矩陣復雜,有很多矩陣相關的理論不能延伸到張量情況.在本文中,CopositivePlus矩陣的概念被延伸到高階張量,即引入了CopositivePlus張量的概念,然后討論了CopositivePlus張量的性質,以及對應張量互補問題解集的性質.

      1 預備知識

      一個m階n維張量A=(ai1…im)可以看作是元素ai1…im的多重線性排列,其中ij∈{1,2,…,n},j∈{1,2,…,m}.如果張量的元素都為實數,則稱該張量為實張量;所有m階n維實張量的集合記作R[m,n].如果任意置換元素ai1…im的下標i1,…,im,其值保持不變,則張量A=(ai1…im)稱為對稱張量;如果任意置換元素ai1…im的下標i2,…,im,其值保持不變,則張量A=(ai1…im)稱為偏對稱張量.

      Qi在文獻[16]中提出了對稱張量特征值的概念,并討論了相關的性質.從此,掀起了張量譜理論的研究熱潮.之后,結構張量、張量互補問題相繼引起人們的關注和研究.

      對于任意的張量A∈R[m,n]和任意的x∈Rn,Axm-1∈Rn被定義如下:

      ?i∈{1,2,…,n}.

      對于給定的映射F:Rn→Rn,且q∈Rn,經典互補問題是找到一個x∈Rn使得

      x≥0,F(x)+q≥0,xT(F(x)+q)=0.

      (1)

      本文主要考慮問題(1)在F(x)=Axm-1,A∈R[m,n]的情形.此時問題(1)具體化為

      x≥0,Axm-1+q≥0,xT(Axm-1+q)=0,

      這被稱為張量互補問題,簡寫為TCP(A,q),記TCP(A,q)的解集為SOL(A,q).

      定義1.1[1]稱張量A∈R[m,n]是Q張量,當且僅當對于所有q∈Rn,張量互補問題TCP(A,q)有解.

      在上式中,如果取t=0,稱張量A是R0張量.

      2 主要結論

      2.1 CopositivePlus張量的性質

      定義2.1.1[17]矩陣M稱為CopositivePlus的,如果下列條件成立:

      (1)x≥0,有xTMx≥0;

      (2)x≥0,xTMx=0,有(M+MT)x=0.

      引理2.1.1[17]如果一個對稱Q矩陣是CopositivePlus的,那么它一定是嚴格Copositive矩陣.

      引理2.1.2[17]如果一個矩陣M是CopositivePlus的,那么下列命題等價:

      (A)M∈Q;(B)M∈R;(C)M∈R0.

      由定義2.1.1引入CopositivePlus張量的概念.

      定義2.1.2假設A∈R[m,n]是一個偏對稱張量,則A是CopositivePlus張量當且僅當下列條件成立:

      由定義2.1.2、引理2.1.1和引理2.1.2有如下定理:

      定理2.1.1假設A∈R[m,n]是一個Q張量,如果A是CopositivePlus的,并且TCP(A,0)有非零解,則A不是嚴格Copositive張量.

      定理2.1.2假設A∈R[m,n]是一個Q張量,并且是CopositivePlus的,如果m≥3,那么A不一定是R張量.

      證明:設張量A=(ai1i2i3)∈R2×2×2為一個3階2維張量,其元素為a111=a211=a122=a222=1,a121=a112=a221=a212=-1.

      Ax3=(x1+x2) (x1-x2)2.

      由定義2.1.2,知A是CopositivePlus的.首先證明A是Q張量.

      假設a,b為任意非負實數,就以下幾種情形展開證明.

      (1)令q=(a2,b2)T,取x=(0,0)T,顯然為TCP(A,q)的解.

      (2)令q=(a2,-b2)T,取x=(0,b)T,滿足

      (3)令q=(-a2,b2)T,取x=(a,0)T,滿足

      綜上,A是Q張量,且A是CopositivePlus的.

      另一方面,由q的任意性,取q=(0,0)T,容易驗證x*=(1,1)T為解之一,于是有(Ax2)i=0,xi≥0,i=1,2,即x=(1,1)T,t=0為方程組

      的解.由定義1.4,可知A不是R張量.

      定理2.1.3假設A∈R[m,n]是一個Q張量,且是CopositivePlus的,如果m≥3,那么A不一定是R0張量.

      證明:同定理2.1.2,取A=(ai1i2i3)∈R2×2×2為一個元素為a111=a211=a122=a222=1,a121=a112=a221=a212=-1的三階張量.由定理2.1.2,知A是Q張量且是CopositivePlus的.

      由q的任意性,取q=(0,0)T,容易驗證x*=(2,2)T也為解之一,可知x=(2,2)T為方程組

      的一個解.根據定義1.4,可知A不是R0張量.

      2.2 CopositivePlus張量互補問題

      基于CopositivePlus矩陣的線性互補問題,Danao[18]證明了其解集的非空有界性,而對于CopositivePlus張量,其相應的張量互補問題未必有界.

      首先,本研究將Danao[18]的結論列舉如下.

      引理2.2.1[18]如果一個Q矩陣是CopositivePlus的,那么它對應的互補問題的解集一定非空有界.

      由引理2.2.1,關于張量互補問題,有如下定理:

      定理2.2.1假設A∈R[m,n]是一個Q張量,并且是CopositivePlus的,如果m≥3,那么其解集SOL(A,q)不一定有界.

      證明:舉一個解集無界的例子進行反證.

      設張量A=(ai1i2i3)∈R2×2×2為一個3階2維張量,其元素為a111=a211=a122=a222=1,a121=a112=a221=a212=-1.故有

      由定理2.1.2的證明,知A是Q張量且是CopositivePlus的.

      另一方面,由q的任意性可知,取q=(0,0)T,此時,對任意滿足(t,t)T,t≥0的向量均為張量互補問題的解,故SOL(A,q)無界,結論得證.

      根據定理2.2.1,如果A是Q張量且是CopositivePlus的,那么在什么條件下,一定能保證SOL(A,q)非空有界呢?

      不妨假設A的每一個元素都為嚴格正,下面證明此時SOL(A,q)非空有界.

      定理2.2.2假設A∈R[m,n]是Q張量,并且是CopositivePlus的,如果其元素嚴格正,則其解集SOL(A,q)有界.

      證明:利用反證法證明該結論的正確性.

      首先假設SOL(A,q)無界. 即存在一個非負向量列{xi},i=1,2,…,xi≠0,‖xi‖→∞使得

      3 總 結

      本文給出了CopositivePlus張量的定義,并對這類新定義的結構張量的性質進行了研究.對于張量互補問題解集的研究方面,本文也證明了CopositivePlus張量在為Q張量且每一個元素都為嚴格正時,它對應的張量互補問題的解集是有界的.當然,CopositivePlus張量作為CopositivePlus矩陣在高階張量的自然推廣,作為Copositive張量的一個子類,具有很好的理論性質,理論上還有很多相應的結論值得延伸和探索.

      猜你喜歡
      張量定理證明
      J. Liouville定理
      中等數學(2022年6期)2022-08-29 06:15:08
      獲獎證明
      偶數階張量core逆的性質和應用
      判斷或證明等差數列、等比數列
      四元數張量方程A*NX=B 的通解
      A Study on English listening status of students in vocational school
      “三共定理”及其應用(上)
      擴散張量成像MRI 在CO中毒后遲發(fā)腦病中的應用
      證明我們的存在
      Individual Ergodic Theorems for Noncommutative Orlicz Space?
      乳山市| 新余市| 徐州市| 临江市| 孟连| 疏勒县| 穆棱市| 永济市| 宁乡县| 金川县| 固始县| 遵义县| 桃园市| 枣强县| 溧水县| 略阳县| 大港区| 汤原县| 周至县| 庄浪县| 民和| 高唐县| 团风县| 名山县| 郓城县| 威海市| 洛隆县| 都江堰市| 黑水县| 临夏市| 武鸣县| 林州市| 调兵山市| 准格尔旗| 若羌县| 会东县| 分宜县| 肥城市| 乌海市| 库尔勒市| 绵竹市|