{"entities":{"Q616728":{"pageid":618504,"ns":120,"title":"Item:Q616728","lastrevid":63203997,"modified":"2026-04-11T11:18:09Z","type":"item","id":"Q616728","labels":{"en":{"language":"en","value":"An \\(abc\\) theorem on the disk"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835312"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$E1B59747-126D-47E3-BFDF-52B54212C4ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b235dee8d3592c705ca111d6377815c6d9f0ce0a","datavalue":{"value":{"text":"An \\(abc\\) theorem on the disk","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616728$C8B9F52D-BA17-4828-BA6B-307B9F4BC922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"239706979386bab64853218bc84f867cbd610ebb","datavalue":{"value":"1211.30003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$F9301DB0-5D39-4AAF-B676-4AFA8DCCFF48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f77a4ff046b50d0684e057f82bc746cde30cfbf7","datavalue":{"value":{"entity-type":"item","numeric-id":380806,"id":"Q380806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$F3489DEC-7D10-4AC4-8765-17E87CFF0D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$08F51A0A-C38C-4A69-93A4-6A21F42AFEA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616728$FADDE572-E4C4-4099-8CE0-C495829653D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa72a1902aee9740be04eb087d62921653ab0d5a","datavalue":{"value":"Given a polynomial \\(p\\) (in one complex variable), write \\(\\text{deg\\,}p\\) for the degree of \\(p\\) and \\(\\widetilde N(p) =\\widetilde N_\\mathbb C(p)\\) for the number of its distinct zeros in \\(\\mathbb C\\). The so-called \\textit{abc} theorem, often referred to as Mason's theorem (but essentially due to Stothers), reads as follows:   {Theorem A.} Suppose \\(a\\), \\(b\\) and \\(c\\) are polynomials, not all constant, having no common zeros and satisfying \\(a + b = c\\). Then   \\[ \\max\\big\\{\\text{deg}\\,a, \\text{deg}\\,b, \\text{deg}\\,c\\big\\} \\leqslant\\widetilde N(abc) - 1.\\tag{1} \\]  One impressive -- and immediate -- application is a simple proof of Fermat's last theorem for polynomials, saying that there are no nontrivial polynomial solutions to the equation \\(P^n + Q^n = R^n\\) when \\(n\\geqslant 3\\). Besides, it was Theorem A that led (via the classical analogy between polynomials and integers) to the famous \\(abc\\) conjecture in number theory.   In this note, the author presents an \\textit{abc} type theorem that applies to a much more general situation. Namely, replace the polynomial equation \\(a + b = c\\) by   \\[ f_0+\\cdots+f_n = f_{n+1},\\tag{2} \\]   where the \\(f_j\\)'s are analytic functions on the (closed) disk \\(\\mathbb D\\cup\\mathbb T\\), where \\(\\mathbb D=\\{z\\in\\mathbb C: |z|< 1\\}\\) and \\(\\mathbb T=\\partial\\mathbb D\\). The functions are thus assumed to be analytic in some open neighborhood of \\(\\mathbb D\\cup\\mathbb T\\).   We associate with each \\(f_j\\) the (finite) Blaschke product \\(B_j\\) built from the zeros of the function. This means that \\(B_j\\) is given by   \\[ z\\mapsto\\prod_{k=1}^s\\left(\\frac{z-a_k}{1-{\\overline a}_kz}\\right)^{m_k},\\tag{3} \\]   where \\(a_k^{} = a_k^{(j)}\\) (\\( 1\\leqslant k\\leqslant s =s_j\\)) are the distinct zeros of \\(f_j\\) in \\(\\mathbb D\\), and \\(m^{}_k = m_k^{(j)}\\) are their multiplicities. Further, let \\(\\mathbf B\\) denote the least common multiple of the Blaschke products \\(B_0,\\dots, B_{n+1}\\) (defined in the natural way), and put  \\[ \\mathcal B:=\\text{rad\\,}(B_0B_1\\dots B_{n+1}). \\]  Here, we use the notation \\(\\text{rad\\,}(B)\\) for the radical of a Blaschke product \\(B\\).   Write \\(W = W(f_1,\\dots,f_n)\\) for the Wronskian of the (analytic) functions \\(f_1,\\dots,f_n\\).  Introduce the quantities   \\[ \\kappa=\\kappa(W) := \\| W'\\|_{L^1(\\mathbb T)}\\| 1/W\\|_{L^\\infty(\\mathbb T)},\\quad \\lambda =\\lambda(W) := \\| W'\\|_{L^2(\\mathbb D)}\\| 1/ W\\|_{L^\\infty(\\mathbb T)} \\]  and   \\[ \\mu = \\mu(W):= \\big\\| W\\big\\|_{L^\\infty(\\mathbb T)}\\big\\| 1/W\\big\\|_{L^\\infty(\\mathbb T)}. \\]  The main result of the paper is the following theorem.   {Theorem B.} Suppose \\(f_j\\) \\((j = 0,1,\\dots,n + 1)\\) are analytic functions on \\(\\mathbb D\\cup\\mathbb T\\), related by (2) and such that the Wronskian \\(W\\) vanishes nowhere on \\(\\mathbb T\\). Then   \\[ N_{\\mathbb D}({\\mathbf B})\\leqslant\\kappa+n\\mu N_{\\mathbb D}(\\mathcal B)\\quad\\text{and}\\quad N_{\\mathbb D}({\\mathbf B})\\leqslant\\lambda^2+n\\mu ^2N_{\\mathbb D}(\\mathcal B), \\]   where \\(N_{\\mathbb D}({\\cdot})\\) denotes the number of zeros of the function in \\(\\mathbb D\\), counting multiplicities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q616728$088E0B75-4896-469D-81AF-F70CCBEC719D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f3822074c6f3a46bdef917a6cc39336b06e4f8","datavalue":{"value":"30C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$E56F86F2-7528-4CF1-BD5B-BEDB1CBC609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afccb817138c7c3a19d522725db910b0af06ed5f","datavalue":{"value":"30D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$DCF81644-691D-406E-87A9-C0A2877869B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a6a60763601d7679334d91365342c2aafcd7bc05","datavalue":{"value":"30J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$69272A1A-A2A0-4A66-A52B-53998CA0FAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"374ebc4107d8dd6c3b5fb49f82033923a071363d","datavalue":{"value":"30A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$C0439BFA-F3C7-4364-BAE0-37B16EA8B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$44B12DF1-0085-4BCA-BA48-CB5560C09388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8871fa000545a707dc0c8eb8145c5cf9a99c7e40","datavalue":{"value":"30C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$C27DE57C-78F3-4468-8760-5A38DA4B6BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1daddf185b3ed037ba3344dba475ac79806a339","datavalue":{"value":"5835312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$C3CB1C71-E038-4922-9FC2-FC2CA73EA546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a178cbca0285402cb1a500767c09ee285bbc5d80","datavalue":{"value":"\\textit{abc} theorem for analytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q616728$3ECF4ABE-8692-4683-8D16-C7E34B83E49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1d486bd7a93c00085449c3dbf8eace4ed01ccf","datavalue":{"value":"functional equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q616728$6C0407AF-DD07-4F1F-80B3-4999E47BB4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70abd6a33b20f6c4a55253038d83a8f5d6832903","datavalue":{"value":"number of zeros of a polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q616728$2E7CD337-FAC0-4354-88F0-2A9B2ACB5912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815271d831413f93dc291f7c162100247a47853d","datavalue":{"value":"radical of a Blaschke product","type":"string"},"datatype":"string"},"type":"statement","id":"Q616728$4B247B3C-EC2D-4545-B1E2-BD77CE2F3757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9582fd1f65a42def8cbeb4fec02711fe1950423d","datavalue":{"value":"Wronskian","type":"string"},"datatype":"string"},"type":"statement","id":"Q616728$53DF75F2-4760-4436-ACA4-BC53976F05E2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$99769F2C-0A31-4812-8132-8D0B21CB900D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31a14d38bf9a11aa76d59750ae6d7287eb1abd3b","datavalue":{"value":"https://doi.org/10.1016/j.crma.2010.10.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q616728$5827C3BD-9048-43DF-8714-6BA8307D7AA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"875e946ca5707e648749fc4c43b3042e47b42be6","datavalue":{"value":"W2063644687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$DF21445B-7443-4A1D-B2C0-4A25152D36D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af73aa424591c0def214542d16d6c2354f251ae5","datavalue":{"value":{"entity-type":"item","numeric-id":771769,"id":"Q771769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$5E89FFE1-B5C1-4BF6-911D-7B1F8A54B102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce14d425a007d2b45d6c3bdc1ae9c7a201b2c92e","datavalue":{"value":{"entity-type":"item","numeric-id":3127982,"id":"Q3127982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$BBC95B9F-DAD9-4B7A-B7AF-DB3FA3FC6C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0b9ea6c239024ed30a047514aeb0341c466876","datavalue":{"value":{"entity-type":"item","numeric-id":4826661,"id":"Q4826661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$A4683642-9087-4E48-B2DA-AD22C093CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887996dabca0bca1f5599d929e69106ba0b7e715","datavalue":{"value":{"entity-type":"item","numeric-id":4824868,"id":"Q4824868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$087F8ADF-72A5-4C8A-9FD4-DEB6CD9A22CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5312c08f2ce1e1615b48e637c9fc980b208e55e6","datavalue":{"value":{"entity-type":"item","numeric-id":3199494,"id":"Q3199494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$F2FE24AD-9779-4584-82B7-2C4A9D83468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75780e6cf7dc2c5f4f0b39c6a6cf5a332779b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4787437,"id":"Q4787437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$1D7748AB-AAA8-4E95-92A9-70A36FD6BE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664bffff6fba9d2e568af4415dcfe62bc6953153","datavalue":{"value":{"entity-type":"item","numeric-id":3918206,"id":"Q3918206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$C5826773-58C4-4EDE-8084-CE41EE0B6E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7c9feca0cfdde676cd4515eabcb57c13ac5400","datavalue":{"value":{"entity-type":"item","numeric-id":3215497,"id":"Q3215497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616728$25DC40E1-8AD3-4549-B56B-E74BD4050EE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132075ff33848fe664fcf078592a98198ed1c3a1","datavalue":{"value":"10.1016/J.CRMA.2010.10.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616728$BEDF1610-3DE2-4BAB-B5A9-B6C22984C244","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7806fa59778e28786d5c18597bc6910b4a03541","datavalue":{"value":{"entity-type":"item","numeric-id":2906470,"id":"Q2906470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755fac967a07ef59c8c0f22ce9959112cebbcde7","datavalue":{"value":{"amount":"+0.8442656993865967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616728$CB9F9B1A-47F9-4D17-9936-505EEABA7A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1873cb5ad39ab72aa4c213a5eee16a549d2a53a","datavalue":{"value":{"entity-type":"item","numeric-id":662403,"id":"Q662403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a875c7644b04893c6314fb016e38ac63e4559f80","datavalue":{"value":{"amount":"+0.8166581392288208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616728$BC94E756-42A1-49F0-83F7-61DFF872D7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb7cb20a476829a41062d01c689df741e7bd770","datavalue":{"value":{"entity-type":"item","numeric-id":4308584,"id":"Q4308584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e75657bfdec06da5fe0b637f74517d94eee5db9","datavalue":{"value":{"amount":"+0.7942786812782288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616728$39579539-4C6B-4AA8-BCB7-F9663199442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfda93b93caca4ff7c7e5ee07cbc5308ee1b30c","datavalue":{"value":{"entity-type":"item","numeric-id":1885173,"id":"Q1885173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd126b0a853987dcc724990aad26768366f6764","datavalue":{"value":{"amount":"+0.7935402393341064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616728$E7FD4F9B-E3C9-4654-B8C2-9DF3BE6C23FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f13b8afab56409f645b1896b0dda267224526c","datavalue":{"value":{"entity-type":"item","numeric-id":2017205,"id":"Q2017205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c150143fa48ef9682ac047553b931729bd870b","datavalue":{"value":{"amount":"+0.7925841212272644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616728$8CA31AF7-BA08-4089-BFA4-53D361C4754C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An \\(abc\\) theorem on the disk","badges":[]}}}}}