Many, or even most, of these ’CoC’ drawings circling the web are pretty naive. The Airy disks (’CoC’) are not neatly centered on top of a pixel square. Instead we have a continuous spatial distribution of Airy disks. Another question is where one should draw the edge of the ’CoC’, is it the first minimum of the Airy disk, or the second maximum, or where. Probability distributions are not neatly drawn sharp-edged circles. In practice the center of the ’circle’ is never on top of the center of the square (the probability approaches zero).
That makes sense to me.
The following are just my bemused ideas on the subject of this thread. I have stifled them as long as I can. I do not claim I am qualified to teach.
It seems to me that fitting any disk, Airy or otherwise, into a square pixel will produce a square. That square would be either R, G, or B, assuming the surrounding pixels are completely dark.
A disk the size four pixels would still produce a square, but with a mixture of colors. The size of the square would be 2X2 or 3X3 depending on how, precisely, the disk is placed.
This came to my attention when I noticed that a properly focused star is more or less square, and poorly a focused star is a collection of adjacent squares of various sizes and diminished brightness. That is the only real situation I can imagine where Airy disks are not overlapping to an extent that they are rendered into a mathematical abstraction.
BTW, I am completely in awe of the remarkable astrophotography shown here on NG.